Quelli di cui si fece il censimento, contando tutti i maschi dall'età di un mese in su, furono seimila duecento.