{ if (node instanceof HTMLAppletElement) return false; return node.nodeType == 3 && isWhitespace(node.nodeValue); }, 
{ 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);	},
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/5da1c8b018cf62f6e1c25d1879f31f9fb68401bb/html.js/buggy/extension/content/firebug/html.js