11.53 billion US dollars per year