if (top == self) {
  var url = '/frameset.php?source=' + escape(location.pathname +
        location.search + location.hash );
  if (document.images) location.replace(url);
  else location.href = url;
}