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