Congressional record, proceedings and debates of 82d Congress, Appendix, v. 98, pt. 11; June 17-Aug. 18, 1952.