function over(change,name){
	if(navigator.appName.toLowerCase() == 'netscape' && navigator.appVersion.substring(0,3) < 5.0)
		{
		window.PageRest.document.images[name].src="../images/" + change + ".gif";
		}
		else{
		window.document.images[name].src="../images/" + change + ".gif";
		}
	}

function see(nameCap){document.getElementById(nameCap).style.visibility="visible";}
function hide(nameCap){document.getElementById(nameCap).style.visibility="hidden";}