En 2016 tenía una población de 9680 habitantes.