kr ; riksgäldskontorets utgifter : 10 , 299 , 423 kr.