Summa riksmynt rdr 3 , 722 , 243 : 80.