secondo il censimento, è di cinquantasettemila quattrocento uomini.