I think your right. Bloomberg had 9.5 billion, now it shows 9 billion. Perhaps the buyback is reflect in there!