That's a lot of TXG shares