En 2018 tiene 9482 habitantes.