pensionsfonden 12,000 kr. , ejukfonden 3,800 kr.