El resultado era contundente: 10.728 habitantes en total.