utgjort omkring 12,000 kr.