What is the population of HTC?

The population of HTC is 12,943.