if (self != top)
    top.location.replace(self.location)

