// JavaScript Document

function highlightOver(id){
	document.getElementById(id).style.visibility = "visible";
}

function highlightOut(id){
	document.getElementById(id).style.visibility = "hidden";
}