No their market cap supports a 585 million number.... scratching my head...Maybe they took the 133 million to be bought back out of the OS. but it doesn't make sense why they say the OS is in the 100 millions...