function $(id) { return document.getElementById(id); }

function PM(l, p1, p2) {
  var link = $(l+p1+p2);
  link.href = 'mailto:'+l+'@'+p1+'.'+p2;
  link.innerHTML = l+'@'+p1+'.'+p2;
}
