IO kronor , ( 3890 .)