	    function gotoLocation(id, evt)
	    {
	        var e=(evt)?evt:window.event;
	        if (window.event) {
	            e.cancelBubble=true;
	        } else {
	            e.stopPropagation();
	        }
	    }
	    function foldTree(id, evt)
	    {
	        if (id.className == 'fold')
	            id.className = 'foldable';
	        else if (id.className == 'foldable')
	            id.className = 'fold';
	        gotoLocation(id, evt);
	    };
	    function unfoldTree(elementid)
	    {
	        var element = document.getElementById(elementid);
	        if (element == null)
	        {
	            return;
	        }
	        var d = element.getElementsByTagName('div');
	        var eparent = element;
	        while(eparent != null)
	        {
	            if (eparent.className == 'fold')
	                eparent.className = 'foldable';
	            eparent = eparent.parentNode;
	        }
	        for (var i = 0; i < d.length; i++)
	            if (d[i].className == 'fold')
	                d[i].className = 'foldable';
	    };
	    function FoldAllTree(elementid)
	    {
	        var d = document.getElementById(elementid).getElementsByTagName('div');
	        for (var i = 0; i < d.length; i++)
	            if (d[i].className == 'foldable')
	                d[i].className = 'fold';
	    };
