function gotoURL(url) {
	if (url != "*") {
				window.location.href = url;
	}
}