norskt mynt uppgick till det höga beloppet af öfver 800,000 kr.