den mi är , tjenstgöringspenningarne deri inberäknade , ' lill 9,000 kr.