function to(url) {
	document.location=url;
}

function reload() {
	location.reload();
}