lior för ett sammanlagdt ärligt wärde as omkring 25.000 rdr , allt riksmynt.