if (top.location.href != window.location.href) {
	top.location.assign(window.location.href);
}