Federal budget in brief, fiscal year 1952 (July 1, 1951-June 30, 1952).