4000 billion dollars