2.000 djonker och 4,000 sjömän.