function change(preview, file) { // aggiorniamo l'immagine solo il file ha un nome valido e se è diversa da quella attuale var preview = document.getElementById(preview); if (file != "" && preview.src.indexOf(file) == -1) preview.src = file; } //alternativa al target _blank STRICT function externalLinks() { if (!document.getElementsByTagName) return; var anchors = document.getElementsByTagName("a"); for (i=0; i