*$9.4 billion including convertible notes