function change_current_page(page_to_go_to) {
	document.location.href=page_to_go_to;
}