[cjrp]

How much of that comes right back to the government, in the form of tax income?

[cs02rm0]

I'd imagine a similar ballpark to any other day-to-day government spending. It might affect perception around the absolute number on the balance sheet, but it won't significantly affect the proportion of spending.