function showPage(page) {
	// page is an int from 1 to the num of pages.
	// page can be higher than num of pages...nothing is displayed then
	// TODO: fix for page being higher than num of pages
	if(page < 1) page = 1;
	var page_controls = '';
	var divs = document.getElementsByTagName('div');
	var page_num = 0;
	for(var i = 0; i < divs.length; i++)
	{
		if(divs[i].className == 'page')
		{
			page_num++;
			if(page_num != 1)
				page_controls += ' | ';
			if(page_num != page)
			{
				page_controls += '<a href="?page='+page_num+'">'+page_num+'</a>';
				divs[i].style.display = "none";
			}
			else
			{
				page_controls += page_num;
				divs[i].style.display = "";
			}
		}
	}
	if(page > page_num) page = page_num;
	page_controls = 'Pages<br /><span style="font-size:smaller;">'+page_controls+'</span>';
    if (document.getElementById('page_controls_top') != null) {
        document.getElementById('page_controls_top').innerHTML = '<br />'+page_controls;
    }
    if (document.getElementById('page_controls_bottom') != null) {
        document.getElementById('page_controls_bottom').innerHTML = page_controls;
    }
	if(page != page_num) document.getElementById('page_controls_bottom').getElementsByTagName('span')[0].innerHTML += ' | <a href="?page='+(page+1)+'">next</a>';
	// return to the top of the page
	window.scrollTo(0, 0);
}