uppgått till 12,586 kronor 10 öre.