Email Record: House documents, Vol. 15-1, Budget of U.S. Government, Fiscal 1972.