function change(m, n, o, e) {
/*
	if (!e) {
		var e = window.event;
	}
	var tg = (window.event) ? e.srcElement : e.target;
	if (tg.nodeName != o) {
		return;
	}
	var reltg = (e.relatedTarget) ? e.relatedTarget : e.toElement;
	while (reltg != tg && reltg.nodeName != 'BODY') {
		reltg= reltg.parentNode;
	}
	if (reltg== tg) {
		return;
	}
	else {
*/
		if (m == 0) {
			document.getElementById('overlay').style.display = 'block';
			document.getElementById(o).style.visibility = 'visible';
			n.className='menuon';
		}
		else {
			document.getElementById(o).style.visibility = 'hidden';
			n.className='menuoff';
		}
	//}
}



#
function MouseBoundaryCrossing(evt, landmark)
#
{
#
evt = evt || window.event;
#
 
#
var eventType = evt.type;
#
 
#
this.inLandmark = false;
#
this.leftLandmark = false;
#
this.enteredLandmark = false;
#
 
#
if(eventType == "mouseout")
#
{
#
this.toElement = evt.relatedTarget || evt.toElement;
#
this.fromElement = evt.target || evt.srcElement;
#
}
#
else if(eventType == "mouseover")
#
{
#
this.toElement = evt.target || evt.srcElement;
#
this.fromElement = evt.relatedTarget || evt.fromElement;
#
}
#
else throw (new Error("Event type \""+eventType+"\" is irrelevant")); //irrelevant event type
#
 
#
//target is unknown
#
//this seems to happen on the mouseover event when the mouse is already inside the element when the page loads and
#
// the mouse is moved: fromElement is undefined
#
if(!this.toElement || !this.fromElement) throw (new Error("Event target(s) undefined"));
#
 
#
//determine whether from-element is inside or outside of landmark (i.e., does tmpFrom == the landmark or the document?)
#
var tmpFrom = this.fromElement;
#
while(tmpFrom.nodeType == 1) //while tmpFrom is an element node
#
{
#
if(tmpFrom == landmark) break;
#
tmpFrom = tmpFrom.parentNode;
#
}
#
 
#
//determine whether to-element is inside or outside of landmark (i.e., does tmpTo == the landmark or the document?)
#
var tmpTo = this.toElement;
#
while(tmpTo.nodeType == 1) //while tmpTo is an element node
#
{
#
if(tmpTo == landmark) break;
#
tmpTo = tmpTo.parentNode;
#
}
#
 
#
if(tmpFrom == landmark && tmpTo == landmark) this.inLandmark = true; //mouse is inside landmark; didn't enter or leave
#
else if(tmpFrom == landmark && tmpTo != landmark) //mouse left landmark
#
{
#
this.leftLandmark = true;
#
this.inLandmark = (eventType == "mouseout"); //mouseout: currently inside landmark, but leaving now
#
//mouseover: currently outside of landmark; just left
#
}
#
else if(tmpFrom != landmark && tmpTo == landmark) //mouse entered landmark
#
{
#
this.enteredLandmark = true;
#
this.inLandmark = (eventType == "mouseover"); //mouseover: currently inside landmark; just entered
#
//mouseout: currently outside of landmark, but entering now
#
}
#
//else //mouse is outside of landmark; didn't enter or leave
#
}