function fHighlight(obj, over) {
  var color = (over) ? '#a00000' : '';
  obj.style.backgroundColor = color;
}
function fAS(t,d,u,s) {
  var s = (s == '') ? u + '@' + d + '.' + t : s;
  document.write('<a href="&#109;&#97;&#105;&#108;&#116;&#111;&#58;' + u + '&#64;' + d + '&#46;' + t + '">' + s + '</a>');
}