*** old-lib.js	2005-01-11 19:38:44.000000000 +0200
--- new-lib.js	2005-01-11 19:38:01.000000000 +0200
***************
*** 180,186 ****
  
  function layerVis(layer, on)
  {
! 	document.getElementById(layer).style.display = on ? 'block' : 'none';
  }
  
  function fud_msg_focus(mid_hash)
--- 180,194 ----
  
  function layerVis(layer, on)
  {
! 	thisDiv = document.getElementById(layer);
! 	if (thisDiv) {
!         if (thisDiv.style.display == "none") {
!             thisDiv.style.display = "block";
!         }
!         else {
!             thisDiv.style.display = "none";
!         }
!     }
  }
  
  function fud_msg_focus(mid_hash)