Beats me.

But I found a really cool site that will tell you.  And the best part is, it’s paid for by our tax dollars.

It’s called The World Factbook and is put together by our friends at the CIA.

Oh, the population is 17,501,871.