That's a nearly 7% increase over last year's top line budget, which was $27.9 billion for fiscal year 2023. That's up from ...