function pageNav(num_pages) {


var bas_class = "pagnavbse";
var hi_class = "pagnavhi";
var file_extension = ".html";
var base_name = document.URL;
var cur_page_name = base_name.substring(base_name.lastIndexOf('/')+1,base_name.lastIndexOf('.'));
var cur_page_num = parseInt(cur_page_name.replace(/\D/g,""),10); 
var base_page_name = cur_page_name.replace(/\d/g,"");

// alert(document.URL+'\n'+cur_page_name+'\n cur_page_num'+cur_page_num);

// establish navset base css class

document.write('<span class='+bas_class+' >'); 

if (cur_page_num > 1 || isNaN(cur_page_num)) { // trap a non-page extension

document.write('<a href='+base_page_name+(cur_page_num-1)+file_extension+' >prev</a> ');

}

if (cur_page_num < num_pages) {

document.write('<a href='+base_page_name+(cur_page_num+1)+file_extension+' >next</a>&nbsp;&nbsp; ');

}

for (i=1;i <= num_pages;i++)  {  //write out the individual page links

			if (i == cur_page_num) {

				document.write('<span class='+hi_class+' >');
			}

document.write('<a href='+base_page_name+i+file_extension+' >'+i+'</a> ');

			if (i == cur_page_num) {

				document.write('</span>');
			}

}

document.write('</span>');  //close the base span tag here

}