   var menuText=new Array();
   var menuLink=new Array();
   var menuShow=new Array();
   var i=0;
   menuText[i]="Directions";
   menuLink[i]="/pinnacle/directions.htm";
   i=i+1;
   menuText[i]="Fauna";
   menuLink[i]="/pinnacle/fauna.htm";
   i=i+1;
   menuText[i]="Flora";
   menuLink[i]="/pinnacle/flora.htm";
   i=i+1;
   menuText[i]="Home";
   menuLink[i]="/pinnacle/index.htm";
   i=i+1;
   menuText[i]="Trails Day";
   menuLink[i]="/pinnacle/ntd04.htm";
   i=i+1;
   menuText[i]="Trail Map";
   menuLink[i]="/pinnacle/trailmap.htm";
   var n=menuText.length;
   for(var i=0;i<n;i++)
   {
      menuShow[i]=true;
   }

function goToMenuLink(f) {

   var pick=f.choice.selectedIndex;
   var program=f.choice.options[pick].value
   var url=menuLink[program];
   top.location=url;
//   popup(url);
}


function PullDownMenu() {

  var pathname=location.pathname;
  if((pathname=="/pinnacle") || (pathname=="/pinnacle/"))
  {
    pathname="/pinnacle/index.htm";
  }
//alert(pathname);

   document.write("<form method=POST><font face=\"arial\" color=\"red\">Select page</font>: <select name=\"choice\">\n");
   for (i in menuText) {
      document.write ("<OPTION value=\""+i+"\"");
      if (menuLink[i]==pathname) {
         document.write (" selected");
      }
      document.write (">"+menuText[i]+"\n");
   }
   document.write ("</select>\n");
   document.write("<input type=\"button\" value=\"Go to page\"  onClick=\"goToMenuLink(this.form);\">\n</form>");

}

   function makeMenu()
   {
      var pathname=location.pathname;
      if((pathname=="/pinnacle") || (pathname=="/pinnacle/"))
      {
         pathname="/pinnacle/index.htm";
      }
      var n=menuText.length;
      document.write("|");
      for(var i=0;i<n;i++)
      {
         if(menuShow[i] && (menuLink[i]!=pathname))
         {
            document.write(" <a href=\""+menuLink[i]+"\">"+menuText[i]+"</a> |");
         }
      }
   }
