function re(url) {
	parent.location.replace = url;
	top.location.href = url;
}