La población total es de 9.193 habitantes (2002).