till 13 000 rdr sistnämnde mynt.