No.
As you may be aware, there's a gross payment and input tax credits are credited against that. So the net amount of revenue to the government after the input tax credit is $12.3 billion. I'm reading the numbers for 2005. Then there's a further reduction representing $3.3 billion of the quarterly tax credits. So the absolute net revenue to the federal government is $9 billion.