function doMailTo (strTarget, strPre, strPost, intEmail) {
  a = document.getElementById(strTarget);
  if (intEmail == 1) { strEmail = "<b>E-Mail: </b>"; } else { strEmail = ""; }
  a.innerHTML = strEmail + '<a href=\"mailto:' + strPre + '@' + strPost + '\">' + strPre + '@' + strPost + '</a>'; 
}