if (top != self) {
	loc = new String(document.location);
	top.location.replace(loc);
}