för 40,000 rdr riksmynt.