Tiene unos 10.300 habitantes.