La población en 2015 era de 9.560 habitantes.