42 U.S.C. § 2325

(a) Government-owned single or duplex houses In the sale to priority purchasers of properties on which are located Government-owned single or duplex houses, the sales price shall be the appraised value less a deduction of 15 per centum of the appraised value and less the deductions provided by section 2326 of this title . (b) Other properties In all other cases the sales price to priority purchasers shall be the appraised value less the deductions provided by section 2326 of this title , except that sales made under sections 2343(b) and 2343(c) of this title shall be made at the prices set forth therein. (c) Appraised value of interest in commercial property The appraised value of the Government’s interest in commercial property shall, in the cases where renegotiation of the lease is requested by the lessee under the provisions of section 2201(e) of this title be based upon the renegotiated lease if any is agreed on. Where such renegotiations are requested, the sales proceedings shall not be initiated until the completion of the renegotiation.