if(self != top){top.location = self.location}
if(location.href.match(/^https/) && !location.href.match(/\/cgi\//)){loc=location.href.replace(/https/,"http");location=loc}