I got rid of some at the end of the month in the 19.15/19.30 range, and picked most of it back up in the $17.60/$17.85 range this morning. In case you can't figure it out, that's 8%.