tjänst omkring 10,000 ( med familjmedlemmar omkring 20 , 000 ).