function href_target(aTarget) {
  var aLocation = "mailto:"
  aLocation += aTarget;
  aLocation += "@";
  aLocation += "rasc.ca";
  location.href = aLocation;
}

function buttonTarget(url) {
  document.location.replace(url);
}