Journal of House of Representatives, 82d Congress, 1st session, Jan. 3 [-Oct. 20], 1951.