else result= gEmpty;
else result=0;
const char* GetTagName(PRInt32 aTag) {  const char* result = NS_EnumToTag((nsHTMLTag) aTag);  if (0 == result) {    if(aTag>=eHTMLTag_userdefined)      result = gUserdefined;    else result= gEmpty;  }  return result;}