function gotoURL(url) {
	document.location.href=url;
}