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