tillsammans motsvarande 771,342 3g 80 öre riksmynt.