All that money was outside the US. The theory was for some time that they were waiting for the right moment (change of administration/legislation) so that they could officially recognize the profit in the US cheaply