dels 9 260 kr. , som afsatts till arbetarnes pensionsfond.