function getElementsByClass(element_type, class_name)
//  Returns an array of all elements that are of the specified type and class.
{
  var return_elements = new Array();
  var elements = document.getElementsByTagName(element_type);
  for (i = 0; i < elements.length; i++)
    if(elements[i].className == class_name) return_elements = return_elements.concat(elements[i]);
  return return_elements;
}

function unscrambleEmails()
{
  //  Replaces all scrambled emails with proper formatted links.
  var email_nodes = getElementsByClass("span", "email");
  for (i = 0; i < email_nodes.length; i++)
  {
    //  Grab the text from the email node and re-format it into a better shape:
    var email_node_text = email_nodes[i].childNodes[0].nodeValue;
    email_node_text = email_node_text.replace(new RegExp(" at ", "g"), "@");
    email_node_text = email_node_text.replace(new RegExp(" dot ", "g"), ".");
    //Create a new link node from scratch:
    var email_address = document.createElement("a");
    email_address.setAttribute("href", "mailto:" + email_node_text);
    email_address.appendChild(document.createTextNode(email_node_text));
    //Remove the old text from the node and replace it with the newly-created node:
    email_nodes[i].removeChild(email_nodes[i].childNodes[0]);
    email_nodes[i].appendChild(email_address);
  }
}