It's an additional 25k. If you want to tell a nice story, he sold 20k shares in January of 2010 as well at a time when the share price was grinding sideways.