En 2012 su población fue de 9316 habitantes.