mynt omkring 890 000 kr.