We would certainly favor any disposal of Virgin Blue. They're still not getting many benefits because the oil price is high and the labor market's still restricting any real leverage of the business model.