22 El total de los varones censados mayores de un mes llegó a siete mil quinientos.