Element.$styles[style].each(function(s){ var style = this.getStyle(s); result.push(parseInt(style) ? style : '0px'); }, this); 
$each(arguments, function(key){ result[key] = this.getProperty(key); }, this); 
					Element.$styles[style].each(function(s){						var style = this.getStyle(s);						result.push(parseInt(style) ? style : '0px');					}, this);
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/efb4f770b56fdc035f18061222f0527b9b36ca5f/Element.js/clean/Native/Element.js