function sendmail(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;
}

function getTagReferences()
{
    var a = new Array;
    al = arguments.length;
    for (var i = 0; i < al; i++)
    {
        var e = document.getElementsByTagName(arguments[i]);
        var el = e.length;
        for (var j = 0; j < el; j++) a[a.length] = e[j];
    }
    return a;
}

function sendform()
{
    this.value = 'Wird gesendet ...';
    this.disabled = true;
    return this.form.submit();
}

window.onload = function () {
    window.defaultStatus = document.title;
    // following javascript is only for DOM compliant browsers, others don't
	// really miss _that_ much the site should always remain fully functional,
	// even with js turned off
    if (document.getElementById ? false : true) return;
    elements = getTagReferences('a', 'img', 'input');
    l = elements.length;
    url = document.location.toString();
    for (var i = 0; i < l; i++)
    {
        e = elements[i];
        switch (e.tagName.toLowerCase())
        {
            case 'a': e.onmouseover = function() {window.status = this.title; return true;}; break;
            case 'input':
            if (e.type == 'submit' || e.type == 'image') e.onclick = sendform;break;
            default:
        }
    }
}