if(document.layers)
  document.write("<script type=text/javascript language=JavaScript src=/js/ns_menus.js></script>");
else
  document.write("<script type=text/javascript language=JavaScript src=/js/ie_menus.js></script>");