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 addhrefblankwithclass(url, text, cl){
  document.write('<a href="http://' +url+ '" target=_blank class=' + cl + '>' + 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>")
}