bedroeg zeshonderd drie duizend vijfhonderd vijftig man.