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