function displ(obj)
  {
     if (document.getElementById(obj).style.display=='')
	   document.getElementById(obj).style.display='none'
	 else	
	   document.getElementById(obj).style.display='';
  }