man ; tillsammans 4,800 man.