if (getTagName(children[i]) =='nav:label' && children[i].getAttribute('xml:lang')==CHOSEN_LANGUAGE) { 
var lang = children[i].getAttribute('xml:lang'); if (!lang) { var lang = children[i].getAttribute('lang'); } if (getTagName(children[i]) == 'nav:label' && lang == CHOSEN_LANGUAGE) { 
function existsChosenLanguage(node) {    var children = node.childNodes;    for (var i = 0; i < children.length; i++) {       if (getTagName(children[i]) =='nav:label' && children[i].getAttribute('xml:lang')==CHOSEN_LANGUAGE) {          return true;       }     }    return false;}
791	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/791/eed8cc05121789ac2b734c673683bf725f240007/navtree.js/buggy/src/modules/sitetree/resources/javascript/navtree.js