15 , 000 ; Tjenstemän och betjente kr.