values.each(function(value){ size += this.getStyle('border-' + value + '-width').toInt() + this.getStyle('padding-' + value).toInt(); }, this); 
['Top', 'Right', 'Bottom', 'Left'].each(function(direction){ for (var style in Element.Styles) Element.Styles[style].push(style + direction); }); 
				values.each(function(value){					size += this.getStyle('border-' + value + '-width').toInt() + this.getStyle('padding-' + value).toInt();				}, this);
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/83dc1e025efaf0b5cada0190a0720e7d87f94595/Element.js/buggy/Native/Element.js