motsvarande 631,438 77 öre riksmynt.