(gdp ASEAN)/(gdp us);