if (navigator.appName !="Microsoft Internet Explorer")
  {
    document.write("<SCRIPT LANGUAGE = \"JavaScript\" SRC=\"menu_NN.js\">");
    document.write("<!--");
    document.write("//-->");
    document.write("</SCRIPT>");
  }
else
  {
    document.write("<SCRIPT LANGUAGE = \"JavaScript\" SRC=\"menu_IE5.js\">");
    document.write("<!--");
    document.write("//-->");
    document.write("</SCRIPT>");
  }