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";
  	}
  }