beloppet att tillfalla Riksgäldskontoret.