tjenstemånnen uppgå till 800.