utbetalats af statswerket 9 , 168 , 902 kronor.