Además, agregándoles la población que llega en verano, esta aumenta hasta en 12.700 habitantes.