787 billion divided by 12.5 trillion