Su población es de 9.164 habitantes.