function showPage(currentPage, what){
	div = document.getElementById("page_"+currentPage);
	div.style.display = "none";
	div = document.getElementById("page_"+what);
	div.style.display = "inline";
}