I'd like to know what happened to the 300 million shares that were designated for the buyout. Did they get returned to the treasury or are they now in the float?