$A(element.childNodes).each(function(node) { element.removeChild(node) }); 
$w('display position visibility height width').each( function(name) { original[name] = els[name]; }); 
      $A(element.childNodes).each(function(node) { element.removeChild(node) });
5582	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5582/930c8f26653a2b86ab7c6bd06fabe2a9e52e7616/dom.js/buggy/src/dom.js