function ChangePage(page)
{
	document.location.replace("index.php?page=" + page);
}