proceeds from the sale of real estate