Tiene 9.633 habitantes (2013).