What is the population of TravelSky?

TravelSky's population is 4,000.