gamla sedlar 12,575 och af dess nya 815,810 kronor utelöpande.