Well, it sounds like you'd be at least $9 million richer than you were before. And gambling losses are tax deductable, up to the amount of your winnings, so if I understand tax deductions correctly wouldn't you be taxed only on about $200 million of the cash payout?