Input (grade 5): As of the 2000 census, the city population was 3,734.
Output (grade 5): Lancaster is a city of Kentucky in the United States.