immenu_browser = "nn3";immenu_mac = false;if(document.getElementById) immenu_browser = "nn6";if(document.all) immenu_browser = "ie";if(document.layers) immenu_browser = "nn";if(navigator.userAgent.toLowerCase().indexOf("mac")) immenu_mac = true;if(navigator.userAgent.toLowerCase().indexOf("ppc")) immenu_mac = true;if(navigator.userAgent.toLowerCase().indexOf("powerpc")) immenu_mac = true;document.write("<script language=\"JavaScript1.2\" src=\"/include/immenu/immenu_"+immenu_browser+".js\"></script>");