$4.2 billion