All the oldest males over one month old, recorded by name according to their enrollment, were 22,273.