Public property. Proceeds of sales of old material, condemned stores, supplies, etc., Treasury Department.