I assume all of it. Are they paying themselves salaries and directors fees also? Anyone know when the current leases are up? I don't remember them being long term in nature.