25 öre riksmynt —.