function Menu(sender, over)
{
	if (over) {
		sender.style.backgroundColor = "#000060";
		sender.style.cursor = "pointer";
	}
	else {
		sender.style.backgroundColor = "#316ba5";
	}
}


function MoveToURL(url)
{
	window.location.href = url;
}


function BreakOutOfFrame()
{
	if (top.location != location)
		top.location.href = document.location.href;
}


function CheckCompatMode()
{
	var mode = document.compatMode;
	if(mode) {
		if (mode=='BackCompat') m = 'quirks';
		else if (mode=='CSS1Compat') m = 'Standards Compliance';
		else m = 'Almost Standards Compliance';
		alert('The document is being rendered in ' + m + ' mode.');
	}
}