Public laws, 85th Congress. 117. H. R. 7665, act making appropriations for Department of Defense for fiscal year 1958. and for other purposes.