A little under 3,000,000. It was a few months ago. It was nice to take $45.00 and turn it into 700,000 shares a few times with commissions.