this.hasChildElements = function(node){    if (node.contentDocument) // iframes        return true;        for (var child = node.firstChild; child; child = child.nextSibling)    {        if (child.nodeType == 1)            return true;    }        return false;};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/lib.js/clean/extension/content/firebug/lib.js