function linkext(){if(!document.getElementsByTagName){return}l=document.getElementsByTagName("a");for(i=0;i<l.length;i++){if(l[i].className.indexOf("ext")!=-1){l[i].title+=" (link esterno, si apre in una nuova finestra)";l[i].onclick=function(){window.open(this.href);return(false)}}}};