From their last 10K. It says the OS was 22 million. No signs of any changes to the share structure since.