och dels 9,2 GO kr. , som afsatts till arbetarnes pensionsfond.