samma tid 9 , 550 , 000 kronor från riksbanken utvexlats.