<!-- begin
function WritePageMenu() {
	var i = 1;
	var j;
	var s;

	// convert to integers in case these are strings
	var vPages = parseInt(pages);
	var vPage = parseInt(page);

	if(vPage==1) {
		j = vPages;
	} else {
		j = vPage - 1;
	}

	s = "<td><a class=menu href='page" + j + ".html'><img src='../../images/blue_arrow_left.jpg'></a></td>";
	document.write(s);
	document.write("<td>&nbsp;|&nbsp;</td>");

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

		if (i == vPage) {
			s = "<td>Page " + i + "</td>";
			document.write(s);
			document.write("<td>&nbsp;|&nbsp;</td>");
		} else {
			s = "<td><a class=menu href='page" + i + ".html'>Page " + i + "</a></td>";
			document.write(s);
			document.write("<td>&nbsp;|&nbsp;</td>");
		}
	}

	if (vPage == vPages) {
		j = 1;
	} else {
		j = vPage + 1;
	}
	document.write("<td><a class=menu href='page" + j + ".html'><img src='../../images/blue_arrow_right.jpg'></a></td>");
	return;
}
// end -->