riksgäldskontoret tillhanda , utgör kr 34 , 237 , 672 : 12.