anmärka härvid , dels att riksgäldskontoret med 8,520 kr.