statskontoret : ordinarie staten 3 , 007 , 93 kr.