var fullURL = unescape(location.href);
var thisFileName = fullURL.substring(fullURL.lastIndexOf("/")+1, fullURL.length);
if (thisFileName=="") {thisFileName="index.html";}
var currPage="0";
var prevPage="0";
var nextPage="0";

for (i=0; i<total; i++){
  if (thisFileName==Link[i]){
    prevPage=i-1; nextPage=i+1;
    if (prevPage<0) {prevPage=prevPage+total}
    if (prevPage>total-1) {prevPage=prevPage-total}
    if (nextPage<0) {nextPage=nextPage+total}
    if (nextPage>total-1) {nextPage=nextPage-total}
    document.write('<div style=\"width:200px;FONT: bold 16px/20px Arial, Helvetica, sans-serif;float:left;\">\u00AB <a href="' + Link[prevPage] + '">'+Header[prevPage]);
document.write('</a></div>');
    document.write('<div style=\"width:200px;FONT: bold 16px/20px Arial, Helvetica, sans-serif;float:right;padding-right:2px;text-align:right;\"><a href="' + Link[nextPage] + '">'+Header[nextPage]);
    document.write('</a>\u00BB</div>');
    break;
  }
}