function urlto(url) {
	window.location.href = url;
}