House documents, 92d Congress. 93. Appropriations and other provisions for fiscal year 1972.