
<!--
  function showMenu(){
    tmenu=document.all["tree"].style;
    if(tmenu.display=="none")
       tmenu.display="block";
    else tmenu.display="none";}
//-->