gar 613,400 Rikgäldskontorets utgifter.