25 billion US dollars