mynt öfwer 25,000 kronor.