function isWhitespaceText(node) { if (node instanceof HTMLAppletElement) return false; return node.nodeType == 3 && isWhitespace(node.nodeValue); } 
isWhitespaceText: function(node) { if (node instanceof HTMLAppletElement) return false; return node.nodeType == 3 && isWhitespace(node.nodeValue); }, 
function isWhitespaceText(node){    if (node instanceof HTMLAppletElement)        return false;    return node.nodeType == 3 && isWhitespace(node.nodeValue);}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/6be3c6e9d225c8ad86a241df71727d654ddb2469/html.js/clean/extension/content/firebug/html.js