depth.times(function() { div = div.firstChild }); 
$w('display position visibility height width').each( function(name) { els[name] = original[name] || ''; }); 
      depth.times(function() { div = div.firstChild });
5582	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5582/930c8f26653a2b86ab7c6bd06fabe2a9e52e7616/dom.js/buggy/src/dom.js