House documents, 87th Congress. 15, pt.2. Budget of United States Government, fiscal year 1962, District of Columbia.