Su población municipal en 2007 era de 9 864 habitantes.