// JScript source code
var selected, text;

function init()
{
	var path = document.location.href;
	var fileName = path.substring(path.lastIndexOf("/") + 1, path.lastIndexOf("."));
	var image = document.getElementById(fileName);
	
	selected = image;
	
	if (image != null)
	{
	    image.src = "/Icons/ButtonPushed.gif";
	}
}

function mouseClick(image)
{
	selected = image;
	image.src = "/Icons/ButtonPushed.gif";
	document.location.href = "/" + image.id + ".aspx";
}

function mouseOver(image)
{
	if (image != selected)
	{
		image.src = "/Icons/ButtonHover.gif";
	}
}

function mouseOut(image)
{
	if (image == selected)
	{
		image.src = "/Icons/ButtonPushed.gif";
	}
	else
	{
		image.src = "/Icons/ButtonUnpushed.gif";
	}
}