belöpte de sig till 9,023 kronor 45 öre.