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