else if (elem instanceof HTMLAppletElement) {     if (!navigator.javaEnabled()) addImage(elem.code || elem.object, gStrings.mediaApplet, "", elem, false); } 
function grabAll(elem){  // check for background images, any node may have one  var ComputedStyle = elem.ownerDocument.defaultView.getComputedStyle(elem, "");  var url = ComputedStyle && ComputedStyle.getPropertyCSSValue("background-image");  if (url && url.primitiveType == CSSPrimitiveValue.CSS_URI)    addImage(url.getStringValue(), gStrings.mediaBGImg, gStrings.notSet, elem, true);  // one swi^H^H^Hif-else to rule them all  if (elem instanceof HTMLImageElement)    addImage(elem.src, gStrings.mediaImg,             (elem.hasAttribute("alt")) ? elem.alt : gStrings.notSet, elem, false);  else if (elem instanceof HTMLLinkElement) {    if (elem.rel && /\bicon\b/i.test(elem.rel))      addImage(elem.href, gStrings.mediaLink, "", elem, false);  }  else if (elem instanceof HTMLInputElement || elem instanceof HTMLButtonElement) {    if (elem.type.toLowerCase() == "image")      addImage(elem.src, gStrings.mediaInput,               (elem.hasAttribute("alt")) ? elem.alt : gStrings.notSet, elem, false);  }  else if (elem instanceof HTMLAppletElement) {    //XXX When Java is enabled, the DOM model for <APPLET> is broken. Bug #59686.    // Also, some reports of a crash with Java in Media tab (bug 136535), and mixed    // content from two hosts (bug 136539) so just drop applets from Page Info when    // Java is on. For the 1.0.1 branch; get a real fix on the trunk.    if (!navigator.javaEnabled())      addImage(elem.code || elem.object, gStrings.mediaApplet, "", elem, false);  }  else if (elem instanceof HTMLObjectElement)    addImage(elem.data, gStrings.mediaObject, getValueText(elem), elem, false);  else if (elem instanceof HTMLEmbedElement)    addImage(elem.src, gStrings.mediaEmbed, "", elem, false);  onProcessElement.forEach(function(func) { func(elem); });  return NodeFilter.FILTER_ACCEPT;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/94ec31f6efd373e182c26dd8baeb585269d91f5d/pageInfo.js/clean/browser/base/content/pageinfo/pageInfo.js