function gettip(txt)
{
document.getElementById('tip').innerHTML=txt
}

function reset()
{
document.getElementById('tip').innerHTML=" "
}

function cursor(text)
{
trail.innerHTML=text
trail.style.visibility="visible"
trail.style.position="absolute"
trail.style.left=event.clientX+10
trail.style.top=event.clientY
}

function hidecursor()
{
trail.style.visibility="hidden"
}


 function highlight(){
	event.srcElement.style.backgroundColor='black';
	event.srcElement.style.color='white'
	}
	
 function lowlight(){
	event.srcElement.style.backgroundColor='white';
	event.srcElement.style.color='purple'
	}
	
	
function showmenu(elmnt)
{
document.getElementById(elmnt).style.visibility="visible"
}

function hidemenu(elmnt)
{
document.getElementById(elmnt).style.visibility="hidden"
}