kronor ( 7 , 612 , 354 kr .)