<!--
function message(foo1, foo2) {
  locationstring = 'mai' + 'lto:' + foo1 + '@' + foo2;
  window.location.replace(locationstring);
}
// -->