i löner , arvoden och tjenstgöringspenningar , 4,150 kr.