//Country(Japan) menuscript.js  (06/13/2000)

if (document.layers) {
	if (new Number(navigator.appVersion.charAt(0)) > 4) {
		document.write ("<script language='Javascript' src='/scripts_agilent/menuscript_netscape.js'></script>");
	}
	else {
		document.write ("<script language='Javascript' src='/scripts_agilent/menuscript_dummy.js'></script>");
	}
}
else if (document.all) document.write ("<script language='Javascript' src='/scripts_agilent/menuscript_msie.js'></script>");