The government in fact issues a debt strategy, which was an annex to the last budget. But to go to your question, by and large, the manner in which the government pays down debt is not to renew maturing bonds and treasury bills. There are bond buybacks, but those are more to---
On November 20th, 2007. See this statement in context.