while( aux.className == "hop-tree" ) { 
while( aux && aux.className == "hop-tree" ) { 
function hop_tree_root( tree ) {   var aux = tree;   var root = tree;   while( aux.className == "hop-tree" ) {      root = aux;      aux = root.parent;   }   return root;}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/30004d51eeae15092c919e013162881ec7a30a41/hop-tree.js/clean/share/hop-tree.js