Input (grade 4): As of the 2000 census, the population of the city was 15,119.
Output (grade 4): As of the 2000 census, the population of the city is 15,119.