try { return res.getString ("intlCurrencySymbol");
return getCurrencyCode();
  public String toString()  {    try      {	return res.getString ("intlCurrencySymbol");      }    catch (Exception _)      {	return "(unknown currency)";      }  }