void NS_NameSpaceManagerShutdown()
NS_NameSpaceManagerShutdown()
void NS_NameSpaceManagerShutdown(){  delete gURIToIDTable;  PRInt32 index = gURIArray->Count();  while (0 < index--) {    nsString* str = (nsString*)gURIArray->ElementAt(index);    delete str;  }  delete gURIArray;  gURIToIDTable = nsnull;  gURIArray = nsnull;  NS_IF_RELEASE(gElementFactoryArray);  NS_IF_RELEASE(gDefaultElementFactory);#ifdef NS_DEBUG  gNameSpaceManagerWasShutDown = PR_TRUE;#endif}