Tiene una población de 9692 habitantes (INE 2016).