Su población censada en 2017 era de 9.095 habitantes (INE).