Su población es de 9.482 habitantes (2007).