af statsskulden utgjorde 12 , 649 , 523 kr.