tillsammans utgöra 9,000 man.