var i=0;
while (1) {
	i += 1;
	var menuhead = "menuhead" + i.toString();
	var menubody = "menubody" + i.toString();
	if (document.all) {
		var menuheadstr = "document.all." + menuhead;
		var menubodystr = "document.all." + menubody;
	} else if (document.getElementById) {
		var menuheadstr="document.getElementById('" + menuhead + "')";
		var menubodystr="document.getElementById('" + menubody + "')";
	} else {
		break
	}
	if (!(eval(menuheadstr))) {
		// no more menu elements
		break;
	}
	if (!(eval(menubodystr))) {
		// no menu body to process here
		continue;
	}
	if (navigator.appName == "Netscape") {
		// avoid cutting menu body if menu head is to narrow
		eval(menubodystr).style.display = 'table';
	}
	var hidefunc = new Function (menubodystr + ".style.visibility = 'hidden'");
	var showfunc = new Function (menubodystr + ".style.visibility = 'visible'");
	eval(menuheadstr).onmouseover = showfunc;
	eval(menuheadstr).onmouseout = hidefunc;
	eval(menubodystr).onmouseover = showfunc;
	eval(menubodystr).onmouseout = hidefunc;
}