Sold Some Cray (CRAY)

I sold 4.5% of our CRAY holdings today (02012.07.03) at $12.59. Interestingly, the limit order was to sell CRAY at $12.57 (i.e. $4pi), but the trade took place at $12.59 (which was also a new 52-week high).