Journal of House of Representatives, 82d Congress, 2d session, Jan. 8, [-July 7], 1952.