The new budget for the Pentagon is $842 billion.