Según el censo de 2000, la población era de 12.585 habitantes.