No idea what this number actually is. If it includes pension funds' investments in the US stock market and US bonds, then it is underestimated.