Calendar of business, 80th Congress, 1st session, June 18-Nov. 20, 1947; no. 92-122.