<!--
function GetFooter()
{
var this_url = location.href;
var max = this_url.length;
var num_end = max - 5; // 5 is .html
var num_begin = this_url.lastIndexOf('page_') + 5;
var this_num = this_url.substring(num_begin,num_end) - 0;
next_num = this_num + 1;
next = '<a href="page_' + next_num + '.html">next</a>';
prev_num = this_num - 1;
prev = '<a href="page_' + prev_num + '.html">prev</a>';
if (this_num == "1")
	{
	footer_text = '<td align="right">' + next + '</td>';
	}
else
	{
	footer_text = '<td align="left">' + prev + '</td><td align="right">' + next + '</td>';
	}
document.write('<div class="footer"><table width="100%"><tr>');
document.write(footer_text);
document.write('</tr></table></div>');
}
// -->
