function imgOn(imgName)
{
	document.getElementById(imgName).src = "GUI/"+ imgName + "_over.gif";
}


function imgOff(imgName)
{
	document.getElementById(imgName).src = "GUI/"+ imgName + ".gif";
}