uppgick till cirka 9,000 pund , 113,000riksmark