The site says 9.4 million. Rounded up, that's 10 million. That is quite a lot and more than I would have expected. But he mistakenly added a few extra zeroes for a total of 10 billion. Quite unlikely as that is almost double the world's population. {g}
"Once again, we come to the Holiday Season, a deeply religious time that each of us observes, in his own way, by going to the mall of his choice." -- Dave Barry