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>");
  }