<!--
var arDefs			= new Array();
var x				= new Number(100);
var y				= new Number(50);
var xOffset			= new Number(15);
var yOffset			= new Number(10);
var whichTimeout	= new Number(0);
var currentDef		= new Number();

function displayDefinition(whichDef, event) {
	clearTimeout(whichTimeout);
	currentDef = whichDef;
	
	var defBox = document.getElementById('wordReplacementBox');
	
	x = event.clientX;
	y = event.clientY;
	
	x += document.documentElement.scrollLeft;
	y += document.documentElement.scrollTop;
	
	defBox.style.left		= (x+xOffset)+'px';
	defBox.style.top		= (y+yOffset)+'px';
	defBox.innerHTML		= arDefs[currentDef];
	defBox.style.visibility	= 'visible';
}

function hideDefinition() {
	whichTimeout			= setTimeout("hideBox()", 1500);
}

function hideBox() {
	var defBox				= document.getElementById('wordReplacementBox');

	defBox.style.visibility	= 'hidden';
	defBox.innerHTML		= 'No Current Definition';
}

function keepBox() {
	clearTimeout(whichTimeout);
}
//-->