att kosta 1,600000 riksdaler banko , men kom i verkligheten att kosta 10 , 385 , 000 samma mynt—