var main = document.getElementById('menu').getElementsByTagName("LI");
	var sub = document.getElementById('submenu').getElementsByTagName("UL");

	for (var i=0; i<main.length; i++) {
	    main[i].onmouseover=function() {
	    subid = this.id.replace("ms", "s");
	    document.getElementById(subid).className ="disp";

		for (var j=0; j<sub.length; j++) {
		    if (subid != sub[j].id){sub[j].className = "nodisp"

				}
			}
		}
	}

function closesubmenu() {for (var j=0; j<sub.length; j++) {sub[j].className = "nodisp"}}