The dividends are used to buy time, I think. I don't think they have the cash for this year's cash dividend.