as would the proceeds from the sale of the rest of the property.