function menuHover(state, theX, theY, e){
	if (!e) var e = window.event;
	var relTarg = e.relatedTarget || e.fromElement;
	if (state){
		document.getElementById("ast").style.display='block';
		document.getElementById("ast").style.left = theX+'px';
		document.getElementById("ast").style.top = theY+'px';
	}
	else{
		if(relTarg.id != 'ast') document.getElementById("ast").style.display='none';
	}
}