Senate documents:. no. 7, 93d Congress, 1st session, Report of secretary of Senate, July 1-Dec. 31, 1972 [Serial 13025].