function verifyLink(url, text)
{
	var confirmed = confirm(text);
	if (confirmed) document.location.href = url;
}

var MouseIsOver = false;
document.onmousemove = GetMouseXY;
var IE = document.all ? true : false;

//////////////////////////////////////////////////////////////////////////
var BoxWidth = 770; // Change this to the desired pixel width of the popup
//////////////////////////////////////////////////////////////////////////

function HintShow(text)
{
	MouseIsOver = true;
	var width_wanted = BoxWidth;
	if (IE) {
		document.all.hintbox.style.visibility='visible';
		document.all.hintboxtext.innerHTML = text;
		document.all.hintbox.style.width=width_wanted;
	} else {
		document.getElementById('hintbox').style.visibility='visible';
		document.getElementById('hintboxtext').innerHTML = text;
		document.getElementById('hintbox').style.width=width_wanted;
	}
}

function HintHide()
{
	if (IE) {
		document.all.hintbox.style.visibility='hidden';
	} else {
		document.getElementById('hintbox').style.visibility='hidden';
	}
	MouseIsOver = false;
}