Public laws, 82d Congress. 488. H. R. 7391, act making appropriations for Department of Defense and related independent agencies, fiscal year 1953, and for other purposes.