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