9,000 kr. , deraf lön 6,200 och tjenstgöringspenningar 2,800 kronor;