skulle utgöra 20 riksdaler riksmynt.