function ob_wk(os, url) {
	// mozilla fix for tree menu. Tested in mozilla 1.0.6
	if (os.parentNode.nextSibling.firstChild == null) {
		var ot = os.parentNode.nextSibling.nextSibling.firstChild.nextSibling.nextSibling;
	} else {
		var ot = os.parentNode.nextSibling.firstChild.nextSibling;
	}

    var lensrc = (os.src.length - 8);
    var s = os.src.substr(lensrc, 8);
    if (s == "inus.gif") {
        ot.style.display = "none";
        os.src = "/images/plusik.gif";
    }
    
    if (s == "us_r.gif") {
        ot.style.display = "none";
        os.src = "/images/plusik_r.gif";
    }
    
    if (s == "usik.gif") {
        ot.style.display = "block";
        os.src = "/images/minus.gif";
    }
    
    if (s == "ik_r.gif") {
        ot.style.display = "block";
        os.src = "/images/minus_r.gif";
    }
    
    if (s == "ik_l.gif") {
        ot.style.display = "block";
        os.src = "/images/minus_l.gif";
        if (url != "") {
			
            var s = os.parentNode.nextSibling.firstChild.nextSibling.innerHTML;
            if (s != "Loading ...") {
                return;
            }
            ob_url = url;
            ob_tb = os.parentNode.nextSibling.firstChild.nextSibling;
            window.setTimeout("ob_tm()", 100);
        }
    }
    
    if (s == "us_l.gif") {
        ot.style.display = "none";
        os.src = "/images/plusik_l.gif";
    }
}

function ob_ft(os) {
    if (typeof op != "undefined") {
        op.style.backgroundColor = bg;
        op.style.border = "none";
	}
	
    bg = os.style.backgroundColor;
    os.style.backgroundColor = "ccddee";
    os.style.border = "1px solid #666666";
    selected_node_id = os.id;
    op = os;
}

function ob_os(e){
    var os = e.parentNode.parentNode.parentNode.parentNode.parentNode.parentNode.firstChild.firstChild;
    if (os != null) {
	    if ((typeof os != "undefined") && (os.tagName == "IMG")) {
	        var lensrc = (os.src.length - 8);
	        var s = os.src.substr(lensrc, 8);
	        if ((s == "inus.gif") || (s == "usik.gif") || (s == "us_l.gif") || (s == "ik_l.gif")) {
	            e.parentNode.parentNode.parentNode.parentNode.parentNode.parentNode.firstChild.firstChild.onclick();
	        }
	    } else {
	        ob_os(e.parentNode);
	    }
	}
}