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