till riksgäldskontoret för 8072 kr.