La población era de unos 13,057 habitantes en 2017.