riksmark , motsvarande ungefär 12 , 800 , 000 kronor.