Dessa 5257 riksdaler hafva blifvitanvända