till ett penningebelopp af omkring 9,000 kr.