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