function getNavBar() {

var pages = 9;

var loc = location.pathname;
var pattern = /([a-zA-Z]+)([0-9]+)\.html/;
var result = loc.match(pattern);
var fileName = result[1];
var pageNum = result[2] - 0;
var paging = "";

if(pageNum > 1) prevPage = pageNum - 1;
else prevPage = pages;
if (pageNum < pages) nextPage = pageNum + 1;
else nextPage = 1;

paging += 'Page: '

for(i=1; i<=pages; i++) {

if(i == pageNum) paging+= '<span style="background:cornflowerblue; color:white;">'+i+'</span> ';
else paging += '<a href="'+fileName+i+'.html">'+i+'</a> ';

}

if (nextPage == 1) nextLink = '<span style="visibility:hidden"> next page &raquo;</span>';
else nextLink = ' <a href="./'+fileName+nextPage+'.html">next page &raquo;</a>';

if (prevPage == pages) prevLink = '<span style="visibility:hidden">&laquo; previous page </span>';
else prevLink = '<a href="./'+fileName+prevPage+'.html">&laquo; previous page</a> ';

var nav = '<div style="font-family:Palatino; line-height:100%;">'+prevLink+'<span style="padding:0 50px;"><span style="color:cornflowerblue;">[</span> '+paging+' <span style="color:cornflowerblue;">]</span></span>'+nextLink+'</div>';

document.getElementById('nav').innerHTML = nav;

}