Su población en 2018 era de 9003 habitantes.