<!--
var currentmenu;
var currenttimer;

function domouseover(which) {
    if (currentmenu != which && currentmenu != "" && typeof(currentmenu) != "undefined") {
        dotimedmouseout(currentmenu);
    }
    
    clearTimeout(currenttimer);
    currentmenu = which;
	
	document.getElementById('main_'+ which).className = "mainmenuon";  
    if (document.getElementById('sub_'+ which) != null) {
		document.getElementById('sub_'+ which).style.visibility = "visible";
    }
    
}

function domouseout(which) {
    clearTimeout(currenttimer);
    
    if (document.getElementById('sub_' + which) == null) {
        dotimedmouseout(which);
    } else {
        currenttimer = setTimeout("dotimedmouseout('" + which + "')", 500);
    }
}

function dotimedmouseout(which) {

		document.getElementById('main_'+ which).className = "mainmenu";
		if (document.getElementById('sub_'+ which) != null) {
		document.getElementById('sub_'+ which).style.visibility = "hidden";
    }
    
    currentmenu = "";
}

//-->