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