if (Firebug.showWhitespaceNodes) { 
function isEmptyElement(element){    if (Firebug.showWhitespaceNodes)    {        return !element.firstChild;    }    else    {        for (var child = element.firstChild; child; child = child.nextSibling)        {            if (!isWhitespaceText(child))                return false;        }    }    return true;}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/791fd5b2b9e419e8c1761e44a4270e49836d9cfd/html.js/buggy/extension/content/firebug/html.js