rikets guldmynt utgjorde vid Juli månads slut kr.