function frame_load()
{
    if(top.location==document.location)
    {
	document.location.href='./#'+document.location.pathname.split('/')[1].split('.')[0];
    }
}