When I look at the debt payments compared to those from 20 and 30 years ago, they're actually quite small as a percentage of the overall budget.
Do you know what the percentage is for debt service charges compared to the overall federal government budget right now? I think it's in the 10% to 12% range.