var main='/main.html'
if (top.length==0) 
 {
	var url=window.location.href.match(/.*?\/\/.*?\/(.*?)\.html/i)
	if(url[1]!=null) window.location.href=main+'#'+encodeURIComponent(url[1]) 
 }