How many stars are in the sky?