function mailaddress(text, addr, where) {
  if (where==undefined) where = "mailaddress";
  if (addr==undefined) addr = "dominique%=%unruh%!%de";
  addr = addr.replace(/%=%/,'@').replace(/%!%/,'.');
  if (text==undefined) text = addr;
  if (text=='0') text = undefined;
  var tags = document.getElementsByName(where);
  for (var i=0; i<tags.length; i++) {
    tags[i].href = "mailto:"+addr;
    if (text!=undefined)
	tags[i].firstChild.nodeValue = text;
  }
}