Su población es de 9131 hab.