rem: if (aElement.nodeType == Node.ELEMENT_NODE && 
add: if (aElement.nodeType == nsIDOMNode.ELEMENT_NODE && 
context:   flashElement: function(aElement)  {    // make sure we only try to flash element nodes, and don't     // flash the documentElement (it's too darn big!)    if (aElement.nodeType == Node.ELEMENT_NODE &&        aElement != aElement.ownerDocument.documentElement) {      var flasher = this.flasher;            if (flasher.flashing)         flasher.stop();              try {        flasher.element = aElement;        flasher.start();      } catch (ex) {      }    }  },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/1bdedd18e398f941e1efe6c0448264ea16e357a1/dom.js/buggy/extensions/inspector/resources/content/viewers/dom/dom.js