What happened to the $1.7 billion of shares that you did get by exercising your options?