function highlightLine(line)
	{	
	elems = new Array();
	elems[0] = document.getElementById(line + "_0");
	elems[1] = document.getElementById(line + "_1");
	elems[2] = document.getElementById(line + "_2");
	elems[3] = document.getElementById(line + "_3");
	elems[4] = document.getElementById(line + "_4");
	for (var i = 0; i < elems.length; i++)
		{
		elems[i].style.backgroundColor = "#dddddd";
		elems[i].style.borderColor = "#000000";
		} 	
	}
	
function unhighlightLineToBlue(line)
	{
	elems = new Array();
	elems[0] = document.getElementById(line + "_0");
	elems[1] = document.getElementById(line + "_1");
	elems[2] = document.getElementById(line + "_2");
	elems[3] = document.getElementById(line + "_3");
	elems[4] = document.getElementById(line + "_4");
	for (var i = 0; i < elems.length; i++)
		{
		elems[i].style.backgroundColor = "#ffffff";
		elems[i].style.borderColor = "#0066cc";
		} 	
	}
	
function tooltipDesign(text)
	{
	Tip(text, BALLOON, 'true', WIDTH, 250, DELAY, 200); 
	}
