House reports on public bills, 92d Congress. 666. Department of Defense appropriation bill, 1972. Report together with separate and additional views from Committee on Appropriations to accompany H.R. 11731.