Så hafva omkring 13,050tjenstemän