skall vid 65 lefnads- och minst 35 tjenstår pensioneras med 7,000 kr.