riksgäldskontoret en summa af 17 , 143 , 823 kr.