And tell them it's only 1/35 of the US national debt, which is roughly $350,000 per US taxpayer.
Reply on news.ycombinator.com