else
}
        public Object nextElement()        {          Object key = enumeration.nextElement();          HTML.Attribute hKey = HTML.getAttributeKey((String) key);          if (hKey != null)            return hKey;          else            return key;        }