rot13 = function(input){
  return input.replace(/[a-zA-Z]/g, function(c){
    return String.fromCharCode((c <= "Z" ? 90 : 122) >= (c = c.charCodeAt(0) + 13) ? c : c - 26);
  });
};
decodeEmail = function(){
  var elements = document.getElementsByName('contact');
  for (var i = 0; i < elements.length; i++) {
    elements[i].href = rot13(elements[i].href);
  }
}
if (typeof(Prototype) != 'undefined') {
  document.observe('dom:loaded', decodeEmail);
}