How much does the government actually owe?