4 billion)