40 U.S.C. § 8142: Rent of other buildings

An executive department of the Federal Government renting a building for public use in the District of Columbia may rent a different building instead if it is in the public interest to do so. This section does not authorize an increase in the number of buildings in use or in the amount paid for rent.