Text this: Net Proceeds from Sale of Surplus Navy Department Real Property To Be Deposited in the Treasury to the Credit of a Fund To Be Known as the Naval Public Works Construction Fund.