realname=self.location.href.replace(/^.+\/(.+)$/,'$1');
realname=realname.substring(0,realname.lastIndexOf("."));
//document.write(realname);

if (top.location == self.location) {
	top.location='/about.php?m='+realname; 
}
parent.document.getElementById('menu_title').src='images/index_menu_'+realname+'.jpg'