US 7.2 billion dollars