function gotoPage(page) {
	if (page != '') {
		document.location.href=page;
	}
}