5 billion of debt by withholding $39.