     getValue: function(elt)     {         var value;         if (elt instanceof HTMLImageElement)            value = getFileName(elt.src);        else if (elt instanceof HTMLAnchorElement)            value = getFileName(elt.href);        else if (elt instanceof HTMLInputElement)            value = elt.value;        else if (elt instanceof HTMLFormElement)            value = getFileName(elt.action);        else if (elt instanceof HTMLScriptElement)            value = getFileName(elt.src);                return value ? " " + cropString(value, 20) : "";     },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/reps.js/buggy/extension/content/firebug/reps.js