var URL = location.href;
if (location.href.indexOf ("babelfish.altavista.com")==-1){
document.write( "<Map name=translate_ing>");
document.write( "<AREA COORDS=0,0,47,31 SHAPE=rect href='http://babelfish.altavista.com/babelfish/tr?doit=done&url=http://www.divers.com.br/pt/index.html&lp=pt_en' target=translate>");
document.write( "</Map>");
document.write( "<img src=http://www.divers.com.br/images/abertura2_r5_c9.jpg alt='ingles' width=48 height=32 usemap=#translate_ing border=0>")
} else {
document.write( "<img  src=http://www.divers.com.br/images/abertura2_r5_c9.jpg width=48 height=32 border=0>")
}