Af de 800 tjenstemän,