af utgående pensioner utgjorde 4,000 kr.