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