if (document.getElementById) {
	document.write("<script language='JavaScript' src='js/menu_doc.js' type='text/javascript'></script>");
} else {
	if (document.layers) {
		document.write("<script language='JavaScript' src='js/menu_nn.js' type='text/javascript'></script>");
	} else {
		if (document.all) {
			document.write("<script language='JavaScript' src='js/menu_all.js' type='text/javascript'></script>");
		}
	}
}