Committee hearing no. 9, 12-13, 80th Congress. 9. Public buildings and grounds, hearings before subcommittee on public buildings and grounds, 80th Congress, 1st session, on H. R. 1547 (H. R. 3862), S. 980, S. 723, H. R. 4115, June 11 and July 18, 1947.