Array.each(arguments, function(key){ result[key] = this.getStyle(key); }, this); 
['margin', 'padding'].each(function(style){ var sd = style + direction; Short[style][sd] = All[sd] = '@px'; }); 
		Array.each(arguments, function(key){			result[key] = this.getStyle(key);		}, this);
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/7529e6643e04ceed567624de4aa5396de135e4fb/Element.Style.js/buggy/Source/Element/Element.Style.js