Text this: Marine hospitals, custom-houses, and other public buildings.