4.2 billion dollars