function ChangeTopLocation(url)
{
	if ((version >= 4) || window.location.replace)
	{
		top.location.replace(location.href);
	}
	else
	{
		top.location.href = location.href;
	}
}