diskontverken , enligt sednast aflemnade rapporter , utgjorde 12 , 013 , 750 rdr.