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

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