According to google, 35 billion NOK is ~6 billion dollars.

If that's right: