function mailmunge(user, domain) {
// protocol
  var p = "\u006d\u0061\u0069\u006c\u0074\u006f\u003a";
// usename
  var u = user;
// domain name (host name sans machine name)
  var d = domain ||
          location.host.substring(
            location.host.lastIndexOf(
              ".",
              location.host.lastIndexOf(".") - 1
            ) + 1
          );
void(top.location = p + u + "\u0040" + d);
return false;
}