How Many Different Stocks Are There