En 2016 contaba con 9235 habitantes.