Total budget of agencies in 2017 and in Trump's proposed 2018 budget