

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

