function to(url) {
	var base = document.getElementsByTagName("base")[0].getAttribute("href");
	document.location.href=base + url;
}