The budget of the US Government fiscal year ending June 30 ..