function go_to(page) {
		document.location.href = page;
	}