function writeTo(suffix, prefix) {
  location.href = "mai" + "lto:" + prefix + "@" + suffix;
}
function writeToTXT(suffix, prefix) {
  document.write(prefix + "@" + suffix);
}