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