(18 billion dollars/year) / US gdp