*** menuscript.js.orig	Wed Oct 30 16:25:12 2002
--- menuscript.js	Wed Oct 30 16:54:16 2002
***************
*** 38,48 ****
      resetButton(activeButton);
      
  
    //Left menu show hide
!   var eSrc = window.event.srcElement;
!   window.event.cancelBubble = true;
!   if ("clsShowHide" == eSrc.className) return contentsHeading_click(eSrc);
    
    //Original version of this (with frames support)
    //while ("BODY" != eSrc.tagName) {
    //  if ("clsItem" == eSrc.className || "clsItemSelect" == eSrc.className) return contentsItem_click(eSrc);
--- 38,55 ----
      resetButton(activeButton);
      
  
    //Left menu show hide
!   var eSrc; 
!   if (isIE5) {
!     eSrc = window.event.srcElement;
!     window.event.cancelBubble = true;
!     if ("clsShowHide" == eSrc.className) return contentsHeading_click(eSrc);
!   }
!   if (isNS6) {
!     eSrc = event.srcElement;
!     event.cancelBubble = true;
!   }
    
    //Original version of this (with frames support)
    //while ("BODY" != eSrc.tagName) {
    //  if ("clsItem" == eSrc.className || "clsItemSelect" == eSrc.className) return contentsItem_click(eSrc);