till omkring 1 350,000 rdr allt riksmynt.