var callback = function(xml) { updateTree(xml);}; 
var callback = function(xml) { updateTocTree(xml);}; 
function makeNodeRequest(parameters) {    var href = "../tocfragment" + parameters;    var callback = function(xml) { updateTree(xml);};     var errorCallback = function() {         // alert("ajax error");     };    ajaxRequest(href, callback, errorCallback);}
10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10107/c470c03bc8d0112a8280d30c04ad38ee2b6c71c6/tocTree.js/clean/org.eclipse.help.webapp/advanced/tocTree.js