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