document.cookie="sa=False; expires=Thu, 01-Jan-70 00:00:01 GMT; path=/";document.cookie="sasession=; expires=Thu, 01-Jan-70 00:00:01 GMT; path=/";if(top != self){top.location.href = self.location.href;} else if(location.hash&&location.hash.charAt(1)=="/"){location.replace(location.hash.replace("#",""))};