Senate documents, 82d Congress. 104. Federal budget in brief, fiscal year 1953 (July 1, 1952-June 30, 1953).