Input (grade 2): At the time of the 2000 U.S. census, its population was 4,185.
Output (grade 5): At the 2000 census the population was 4,185.