makeVisible(treeItem); 
function focusOnItem(treeItem, isHighlighted) {    var anchor = findAnchor(treeItem);    if (anchor) {        anchor.focus();        if (isHighlighted) {            highlightItem(treeItem);  		}  		var expander = getExpander(treeItem);  		if (expander !== null) {  		    scrollUntilVisible(anchor.parentNode, SCROLL_HORIZONTAL_AND_VERTICAL);  		} else {  		    scrollUntilVisible(anchor, SCROLL_HORIZONTAL_AND_VERTICAL);  		}    }}
10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10107/a84572318622b407c613941e4c1b25809dfccf00/helptree.js/buggy/org.eclipse.help.webapp/advanced/helptree.js