<SCRIPT LANGUAGE="JavaScript">
<!--
function auto_nav() {
  var globallinks = new Array
   ("1.html", "2.html", "3.html");
  var globallabels = new Array
   ("Page 1", "Page 2", "Page 3");
  document.write("<CENTER>");
  print_links("Test Pages: ",
    globallinks, globallabels);
  document.write("</CENTER>");
}

function print_links(navbarlabel,
  linksarray, labelsarray) {
  var pathname = document.location.pathname;
  if(navbarlabel) {
    document.write("<B>" + navbarlabel
      + "</B>");
  }
  for(link in linksarray) {
    if(pathname == linksarray[link]) {
      document.write("<B>" 
        + labelsarray[link] 
        + "</B> | ");
    } else {
      document.write("<A HREF=" 
        + linksarray[link] 
        + ">" + labelsarray[link] 
        + "</A> | ");
    }
  } 
}

auto_nav();
//-->
</SCRIPT>