Public buildings. Information in regard to certain public buildings.