Original: The population of Glenpool is about 12,500.
Simplified: Glenpool is a city of Oklahoma in the United States.