I can provide that number.
We did actually disclose that in the notes to our last quarterly statements.
Effectively, just for context, what we do is a market-to-market analysis where we look at what the return required would be based on the risk of the project, etc. in the private sector. We then discount that back against the effective interest rate that we're actually charging on that loan over the course of the 15-year term, and that number is $495 million.