Congressional record, proceedings and debates of 82d Congress, Appendix, v. 97, pt. 14 and 15; July 12-0ct. 20, 1951.