They started off with 20 million shares, and now they have 17 million left. So how many did they sell?