tjenstgöringspenningar och 7,400 kr.