utgjorde omkring 9000 pund.