if (node === null) { return null; } 
function findChild(node, tag) {    var children = node.childNodes;    for (var i = 0; i < children.length; i++) {        if (tag == children[i].tagName ) {            return children[i];        }    }    return null;}
10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10107/ea5c98170b3e22ac84bae5cbc938c2c309099fae/helptree.js/clean/org.eclipse.help.webapp/advanced/helptree.js