var URL = location.href;
if  (location.href.indexOf ("babelfish.altavista.com")==-1){


document.write("<img src=http://www.diadot.com/scripts/flag.gif>")
}

   if ( top.window != window) {
      top.location.href = window.location.href   }