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