if (top.frames.length > 0) {
  if (document.images) {
    top.location.replace (self.location.href);
  }
  else {
    top.location.href = self.location.href;
  }
}