<!--
function blockError(){return true;}
window.onerror = blockError;

function writeEmailLink(address,description) {
  var i = address.indexOf('$');
  var fixedEmail = address.substring(i+1,address.length) + String.fromCharCode(64) + address.substring(0,i);
  var prefix = '&#109;&#97;&#105;' + '&#108;&#116;&#111;&#58;';  // Unicode for 'mai' + 'lto:'
  var linkStr = '<a href="' + prefix + fixedEmail + '" title="' + fixedEmail + '">';
  document.write(linkStr + description + '<\/a>');
}
// -->
