Guys, with the sales of 50% of Powerco, is our asset debt still $9billion? Or has it been reduced as the debt is sold together with the asset?