proceeds from the sale