wholeurl = window.location.href;
x = wholeurl.length;
while((wholeurl.substring(x-1,x)) != ".")
     { x--; }
clipend = x;
while((wholeurl.substring(x-1,x)) != "/"){ x--; } clipstart = x;
ThisPage = parseInt(wholeurl.substring(clipstart+4,clipend-1),10);
ThisSession = parseInt(wholeurl.substring(clipstart-3,clipstart-1),10);

if (CDp) {
  extension = ".html\""
  }
  else {
        extension = ".shtml\""
       }

function Format2(anInt) {
  return (anInt < 10 ? "0" + anInt : anInt);
}

function GetFile(anInt) {
  return "page" + Format2(anInt);
}


  var FirstPage = 1;
  var NextPage = ThisPage + 1;
  var PrevPage = ThisPage - 1;
  var firstFile = GetFile(FirstPage);
  var lastFile = GetFile(LastPage);
  var prevFile = GetFile(PrevPage);
  var nextFile = GetFile(NextPage);
  var leftEndImage = "ltendarrow.gif";
  var leftEndLinkStart = "<a href=\"" + firstFile + extension + " title=\"First page\">";
  var leftEndLinkFinish = "</a>";
  var leftImage = "ltarrow.gif";
  var leftLinkStart = "<a href=\"" + prevFile + extension + " title=\"Previous page\">";
  var leftLinkFinish = "</a>";
  var rightEndImage = "rtendarrow.gif";
  var rightEndLinkStart = "<a href=\"" + lastFile + extension + " title=\"Last page\">";
  var rightEndLinkFinish = "</a>";
  var rightImage = "rtarrow.gif";
  var rightLinkStart = "<a href=\"" + nextFile + extension + " title=\"Next page\">";
  var rightLinkFinish = "</a>";

  if (ThisPage == FirstPage) {
      var leftEndImage = "ltendarrowgray.gif";
      var leftEndLinkStart = "";
      var leftEndLinkFinish = "";
      var leftImage = "ltarrowgray.gif";
      var leftLinkStart = "";
      var leftLinkFinish = "";
     }

  if (ThisPage == LastPage) {
      var rightEndImage = "rtendarrowgray.gif";
      var rightEndLinkStart = "";
      var rightEndLinkFinish = "";
      var rightImage = "rtarrowgray.gif";
      var rightLinkStart = "";
      var rightLinkFinish = "";
     }


   document.write("<p align=\"center\">" + leftEndLinkStart + "<img src=\"../../images/" + leftEndImage + "\" align=\"bottom\" ");
   document.write(" border=\"0\">" + leftEndLinkFinish + leftLinkStart + "<img src=\"../../images/" + leftImage + "\" ");
   document.write("align=\"bottom\" border=\"0\">" + leftLinkFinish + "&nbsp;&nbsp;");
   document.write(rightLinkStart + "<img src=\"../../images/" + rightImage + "\" align=\"bottom\" ");
   document.write(" border=\"0\">" + rightLinkFinish + rightEndLinkStart + "<img src=\"../../images/" + rightEndImage + "\" ");
   document.write("align=\"bottom\" border=\"0\">" + rightLinkFinish);