function ScriviIndirizzo(Dominio, Utente, Testo){
if ((Testo.length == 0) || (Testo.indexOf('@')+1)) {
document.write("<a href=" + "'mai" + "lto:" + Utente + "@" + Dominio + "'>" + Utente + "@" + Dominio + "</a>"); }
else {
document.write("<a href=" + "'mai" + "lto:" + Utente + "@" + Dominio + "'>" + Testo + "</a>"); }
}