banksedlarne , hvilket den 31 sistlidne juli utgjorde 80 , 871 , 193 kronor , så hade det den31