Según el censo de 2007, su población era de 10 251 habitantes.