	function showHide(divArg) {

	   var iconShow = new Image();
	   iconShow.src = "img/gui/button-show.png";
	   iconShow.alt = "";
	   var iconHide = new Image();
	   iconHide.src = "img/gui/button-hide.png"
	   
	   if ( document.getElementById(divArg).className != 'visible' ) {
	   		  
		  document.getElementById(divArg).className = 'visible';
		  document.images[divArg+'img'].src = iconHide.src;

	   } else {
		  document.getElementById(divArg).className = 'hidden';
		  document.images[divArg+'img'].src = iconShow.src;
	   }
	}
