Quelli de' quali fu fatto il censimento, contando tutti i maschi dall'età di un mese in su, furono settemila cinquecento.