till arvoden åt justeringspersonalen 9,300 kr.