var callback = function(xml) { updateTocTree(xml);}; 
var callback = function(xml) { showInToc(xml);}; 
    var callback = function(xml) { updateTocTree(xml);}; 
10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10107/a84572318622b407c613941e4c1b25809dfccf00/tocTree.js/clean/org.eclipse.help.webapp/advanced/tocTree.js