utgjort 8,437 rdr 22 öre riksmynt.