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