I think the aprox. 670,000 could be traded. But I'm not sure. It still doesn't make sense that they would be selling now.