function showDivPage(pagenumber) {
	var mainpage = document.getElementById("navigationpager");
	var pages = mainpage.childNodes;
	var i = 0;
	var currID = "";
	for(i=0;i<pages.length;i++) {
		currID = pages[i].id;
		if ((pages[i].nodeName == "DIV") && (currID.indexOf('page_') == 0)) {
			if(currID.indexOf('page_' + pagenumber) == 0){ pages[i].style.display = '';} else { pages[i].style.display = 'none'; }
		}
	}
}