// do not forget to change navileft.js as well

  pageNames =  new Array ("index", "engines",     "spares", "instruments", "auxiliary",
                          "./Register/index");
  pageTitles = new Array ("Home",  "New Engines", "Spares", "Instruments", "Auxiliary Equipment",
                          "Russell Newbery Register");


  slash = new String("/");
  backslash = new String("\\");

  document.write('<table width="420"><tr><td>');
  document.write('<p id="stylesmallc"><a id="stylelinksmall" href="javascript:history.go(-1)" onMouseOver="self.status=document.referrer;return true">Back to previously viewed page</a> &#124; <a id="stylelinksmall" href="#topofpage">Top of this page</a> ');

  if ((navigator.appName == "Microsoft Internet Explorer") &&
      (window.location.pathname.indexOf(backslash) != -1)) {
    slash = "\\";
  };
  j = window.location.pathname.lastIndexOf(".htm");
  k = window.location.pathname.lastIndexOf(slash);
  if (j < 1) { j = window.location.pathname.length;}
  if (k < 1) {k = 0;}
  thisPage =  window.location.pathname.substring(k+1, j);

  if (thisPage == "") {
    thisPage = "index";
  }

  for (i=0; i < pageTitles.length; i++) {
    if (pageNames[i] == thisPage) {
      // dont show a link to this page
    } else {
      document.write(' &#124; <a id="stylelinksmall" href="',pageNames[i],'.html">',pageTitles[i],'</a>');
    }
  }
  document.write('</td></tr></table>');