function fix_email (span) {
    var addr = span.firstChild.data;
    var anchor;
    if (span.className=="email") {
	addr = addr.replace(/\ *\(at\)\ */,"@");
 	addr = addr.replace(/ /g,".");
	anchor = document.createElement("a");
	anchor.setAttribute("href","mailto:"+addr);
	anchor.appendChild(document.createTextNode(addr));
	span.replaceChild(anchor,span.firstChild);
 }}

function hide (element) {
    if (element.className=="jshide") {
	element.style.display="none"; }}

function fixup () {
    var spans = document.getElementsByTagName("span");
    var divs = document.getElementsByTagName("div");
    for (var i=0; i<spans.length; i++) {
	fix_email(spans[i]); }
    for (var i=0; i<divs.length; i++) {
	hide(divs[i]); }
}