// JavaScript Document
if(top.frames.length==0)
	{
		var adr = self.location.href;
		adr=adr.substr(adr.lastIndexOf("/")+1);
		adr=adr.substr(0,adr.lastIndexOf("html")+4);
		top.location = "../index.html?basis="+adr;
	}