// JavaScript Document

<!--
function grottaEmail() {
   /*
     Un indirizzo email è una stringa del tipo "user@dominio.ext".
     Sostituire a str2, str3 e str4 i valori relativi al proprio
     inidirizzo.
   */
   var str2 = "info";
   var str3 = "grottadeigermogli";
   var str4 = "org";
   var str1 = "maiAAAlto:";
   location.href = str1.substr(0,3) + str1.substr(6,4) + str2 + "@" + str3 + "." + str4;
}
//-->