11 , 125 , 000 riksmark.