if (top != self) {
	if (location.replace) {
	top.location.replace(location.href);
	} else {
	top.location.href= location.href;
	}
}