af 8,697 kr. , i pensioner utbetalt 6,412 kr.