En pensionskassa på nära 71 / , millioner kronor.