var tomsframeset = "okay";

if (self != top) {
  if (document.images) top.location.replace(self.location.href);
  else top.location.href = self.location.href;
}