y tiene más de 13.000 habitantes.