function writeEmail()
    {
      document.getElementById("mail").innerHTML = "Carol" + "@" + "csmcpr" +
"." + "com";
      document.getElementById("mail").href = "mailto:" + "Carol" + "@" +
"csmcpr" + "." + "com";
    }