tjenstgöringspenningar af 3000 kr. , eller tillsammans 10,000 kr.