till riksgäldskontoret och 424,000 kr.