$3.8 billion