Calendars of House of Representatives and history of legislation, 82d Congress, 1st session, June 11-Oct. 20, 1951: no. 85-163.