Yes! 174 million in investors hands! Pretty sure more are owned though by all us investors. Where did they come from? Hmmmm, good question.