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