En 2017 su población era de 10 536 habitantes.