<!--  

   function show(el){
      if(document.getElementById(el)) document.getElementById(el).style.visibility = 'hidden';
   }	
   function hide(el){
      if(document.getElementById(el)) document.getElementById(el).style.visibility = 'visible';
   }	

//-->