What happens to the budget once it hits Capitol Hill?