function show(obj)
{
	if(document.getElementById(obj).style.display == "")
		document.getElementById(obj).style.display = "none";
	else
		document.getElementById(obj).style.display = "";
}

function hilite(obj)
{
	//obj.className = "menu_hilite";
	obj.style.border = "1px solid #003366";
	obj.style.cursor = "pointer";
}

function delite(obj)
{
	//obj.className = "menu";
	obj.style.border = "1px solid #5AA5A5";
	
}

function goTo(newLocation)
{
	window.location = newLocation;
}