Input (grade 6): The population of Glenpool is about 12,500.
Output (grade 5): Glenpool is a city of Oklahoma in the United States.