Original: At the time of the 2000 U.S. census , its population was 4,185 .
Simplified: At the 2000 census the population was 4,185 .