En 2017 contaba con 12 331 habitantes.