(gdp brunei)/(gdp us);