  var thisPage=location.pathname;
  var numPos=thisPage.lastIndexOf("e")+1;
  var pageNum=thisPage.substring(numPos, thisPage.lastIndexOf("h"))-1;
  document.write("<FORM>");
  if(pageNum!=0)
    document.write("<INPUT TYPE=BUTTON VALUE=Prev onClick=\"location.href='page"+pageNum+".html'\"> ");
  document.write("<INPUT TYPE=BUTTON VALUE=Index onClick=\"location.href='index.html'\"> ");
  pageNum+=2;
  if(pageNum!=13)
    document.write("<INPUT TYPE=BUTTON VALUE=Next onClick=\"location.href='page"+pageNum+".html'\"> ");
  document.write("</FORM>");
