diskontverken , enligt senast aflemnade rapporter , utgjorde 12 , 084 , 250 rdr.