function addHideButton() {
     document.write('<p id="hideMenu"><span onclick="hideMenu() ;">Hide the menu</span></p>') ;
    } //end function addHideButton()


    function hideMenu() {
     if ( document.getElementById ) {
      if ( menuStatus == "on" ) {
       var node = document.getElementById("menubar") ;
       node.style.visibility = 'hidden' ;

       node = document.getElementById("logotype") ;
       node.style.visibility = 'hidden' ;

       node = document.getElementById("hideMenu") ;
       node.style.position = "absolute" ;
       node.style.right    = "5px"
       node.style.top      = "6px"
       node.style.visibility = "visible" ;
       node.innerHTML = '<span onclick="hideMenu() ;">Show the menu</span>' ;

       menuStatus = "off" ;
      } else {
       var node = document.getElementById("menubar") ;
       node.style.visibility = 'visible' ;

       node = document.getElementById("logotype") ;
       node.style.visibility = 'visible' ;

       node = document.getElementById("hideMenu") ;
       node.style.position = "relative" ;
       node.style.right    = "2px"
       node.style.top      = "3px"
       node.style.visibility = "visible" ;
       node.innerHTML = '<span onclick="hideMenu() ;">Hide the menu</span>' ;

       menuStatus = "on" ;
      } // end if-then-else
     } //end if
    } //end function hideMenu()