function addhref(url, text) {
  document.write('<a href="'+url+'">'+text+'</a>');
}

function addhrefblank(url, text) {
  document.write('<a href="http://'+url+'" target=_blank>'+text+'</a>');
}

function addmailto(domain, name, caption, classname) {
  m = name + '@' + domain
  if (caption=="") caption = m;
  document.write('<a href="mailto:' + m + '"');
  if (classname != "") document.write('class='+classname);
  document.write('>' + caption + "</a>")
}