riket gällande guldmynt till 7 , 509 , 000 , motstvarande 5 , 479 , 000 kr.