6,000 kr. , deraf tjenstgöringspenningar 3,000 kr.