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