Su población es de 9.195 habitantes.