House documents:. no. 51, 93d Congress, 1st session, Report of clerk of House, July 1-Dec. 31, 1972 [Serial 13033].