var URL = document.location.href;
var _pos = URL.indexOf('/', 7);
var DOMAIN = URL.substr(0, _pos + 1);
var FILE = URL.substr(_pos + 1);

var PARENT_URL = parent.document.location.href;
_pos = PARENT_URL.indexOf('/', 7);
var PARENT_DOMAIN = PARENT_URL.substr(0, _pos + 1);
var PARENT_FILE = PARENT_URL.substr(_pos + 1);

function auto_redirect_domain(correctdomain)
{
	if (PARENT_DOMAIN != correctdomain)
	{
		parent.document.location.href = correctdomain + FILE;
		return true;
	}
	return false;
}

function auto_redirect_url(correcturl)
{
	if (PARENT_URL != correcturl)
	{
		parent.document.location.href = correcturl;
		return true;
	}
	return false;
}