I'll need to check, but I'm sure I read recently that it cost the UK £52 billion this year servicing the national debt. That would be £16 billion more than what was spent on the entire defence budget.