En comptant tous les hommes âgés d'un mois et plus, on dénombra 6200 personnes.