800 af de tjenstemän,