Mark,They can do both. A 10% share buyback is 310m shares at say 1.50 /share = $465m plus a 5cps dividend = 155m.That equals $620m - still allows cash for development from the asset sale.