Email Record: Marine hospitals, custom-houses, and other public buildings.