80.4 billion dollars is something like 255 dollars per capita or 700 dollars per tax payer, or 0.6 percent of GDP or 0.5 percent of US total public debt or 0.06 percent of US total unfunded liabilities (too many zeros on my calculator - I don't trust these numbers myself).