John,

all gone...all 1.27 MM of  them...weighted average price of about US$7.13 per share for the whole lot.

Kish