9,260 kr. , som assatts till arbetarnes pensionsfond.