— 800 kronor i guldmynt.