af statskontorets personal 7,400 kr.