tillhör pensionsfonden och 80,243 kr.