function load_mainpage()
{
	if(this.location.href!=top.location.href)
		return;
	var qstr=this.location.href.match(/\?.*$/);
	if(!qstr)
		qstr='';
	var page=escape(this.location.pathname+qstr);
	window.location.replace('http://' + this.location.hostname + '/?page=' + page);
}

load_mainpage();