setTimeout(function() {content.evalScripts()}, 10); 
(function() { Object.extend(this, { href: this._getAttr, src:  this._getAttr, disabled: this._flag, checked:  this._flag, readonly: this._flag, multiple: this._flag }); }).call(Element._attributeTranslations.values); 
    setTimeout(function() {content.evalScripts()}, 10);   
5582	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5582/752eebdd26e1971c276a35d6fbbbedadc9b62700/dom.js/clean/src/dom.js