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