£ eller omkring 80 millioner riksdaler riksmynt.