räntekuponger innehar riksgäldskontoret ett belopp af 1 , 718 , 145 kr.