till 9,672 riksdaler danskt riksmynt.