eller tillsammans 711,050 riksmynt.