var useFunc = (document.getElementById!=null);
var useAll = (document.all!=null);
var useLayers = (document.layers!=null);
var nn4 = useLayers && ! useFunc;
var debug = 0;

// for IE Mac
try {
    encodeURIComponent("");
} catch (e) {
	encodeURIComponent=escape;
}


function genGetElementById(id) {
    var el = null;
    if (useFunc)
    el = document.getElementById(id);
    else if (useAll) 
    el = document.all[id];
    else if (useLayers)
    el = document.layers[id];
    if (debug) {
        if (el == null) {
            alert("cannot find "+id);
        } else {
            //alert("found "+id+":"+el);
        }
    }
    return el;
}

function activateT(id) {
    el = genGetElementById("T_"+id);
    if (el != null)
    el.className = "topic";
    el = genGetElementById("TD_"+id);
    if (el != null)
    el.className = "onTopic";
}

function activateA(id, themes) {
    while (themes.length) {
        i = themes.indexOf(',');
        if (i > 0) {
            theme = themes.substring(0,i);
            themes = themes.substring(i+1);
            el = genGetElementById("T_"+theme);
            if (el != null)
            el.className = "onTopic";
            el = genGetElementById("TD_"+theme);
            if (el != null)
            el.className = "onTopic";
            el = genGetElementById("AT_"+id+"_"+theme);
            if (el != null)
            el.className = "article";
        }
    }
    el = genGetElementById("A_"+id);
    if (el != null)
    el.className = "article";
}

function printable() {
		this.stylesheet = "stylesheetP.css";
}

function stretch(span) {
    span.style.display = 'none';
    span.nextSibling.style.display = 'inline';
}

function unstretch(evt) {
    if (evt.target.nodeName != "A") {
        evt.currentTarget.style.display = 'none';
        evt.currentTarget.previousSibling.style.display = '';
    }
}

function externalLinks() { 
    if (!document.getElementsByTagName) return;
    var anchors = document.getElementsByTagName("a"); 
    for (var i=0; i<anchors.length; i++) { 
        var anchor = anchors[i]; 
        if (anchor.getAttribute("href") && 
        anchor.getAttribute("rel") == "external") 
        anchor.target = "_blank"; 
    } 
    var divs = document.getElementsByTagName("div");
    for (var i=0; i<divs.length; i++) { 
        var div = divs[i]; 
        if (div.className=="stretchDest") {
            div.onmouseup=unstretch;
        }
    }
}