<!--
function showMenu(div)
{
	var the_div = eval("document.all." + div);
	the_div.style.visibility = (the_div.style.visibility == 'hidden') ? 'visible' : 'hidden'; 
}

var imageBackup;
function swapImage(image, tracker)
{
	if(tracker == 1)
	{
		imageBackup = image.src;
		var theDot = image.src.lastIndexOf(".");
		image.src = image.src.substring(0, theDot) + "over.gif";

	} else
	if(tracker == 0)
	{
		image.src = imageBackup;
	}
}
//-->