El Charco: 611 habitantes.