if( tree.proc ) tree.proc(); 
var success = function( http ) { tree.populated = true;  if( http.responseText != null ) { /* cleanup the existing tree */ var children = tree.body.childNodes; while( children.length > 0 ) { tree.body.removeChild( children[ 0 ] ); }  eval( http.responseText ); } }  var failure = function( http ) { alert( "*** Hop Tree Error: `" + http.responseText + "'" ); }  return hop( tree.proc(), success, failure ); 
function hop_tree_populate( tree ) {   if( tree.proc ) tree.proc();}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/30638b6ce8ea17e2d0a386f503d3fe65ed501ab3/hop-tree.js/clean/share/hop-tree.js