(function() { this.bottom.initializeRange = this.top.initializeRange; Object.extend(this.tags, { THEAD: this.tags.TBODY, TFOOT: this.tags.TBODY, TH:    this.tags.TD }); }).call(Element._insertionTranslations); 
t[2].times(function() { div = div.firstChild }); 
(function() {  this.bottom.initializeRange = this.top.initializeRange;  Object.extend(this.tags, {    THEAD: this.tags.TBODY,    TFOOT: this.tags.TBODY,    TH:    this.tags.TD  });}).call(Element._insertionTranslations);
5582	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5582/c27f2de3730bbca871315690e6f522e6f1adbb9f/dom.js/clean/src/dom.js