function navigate(page) {
	window.location = '?page='+page;
}