telden achtduizend vijfhonderd tachtig man.