omkring 00.000 riksdaler riksmynt.