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