pagina = parent.visualizzatore.location.href;

legge l'indirizzo dell'elemento figlio - che ha nome visualizzatore - dell'elemento padre del frame corrente.
Assegna tale indirizzo alla variabile 'pagina'
--



if (pagina.indexOf("annuario5x.html")>=0)
parent.visualizzatore.location.href="annuario5x(EN G).html";
--

se all'interno dell'indirizzo contenuto nella variabile pagina è presente la sottostringa "annuario5x.html" allora cambia l'indirizzo del frame suddetto in annuario5x(ENG).html