size += element.getStyle('border-' + value + '-width').toInt() + element.getStyle('padding-' + value).toInt(); }); 
size += this.getStyle('border-' + value + '-width').toInt() + this.getStyle('padding-' + value).toInt(); }, this); 
		values.each(function(value){			size += element.getStyle('border-' + value + '-width').toInt() + element.getStyle('padding-' + value).toInt();		});
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/7529e6643e04ceed567624de4aa5396de135e4fb/Element.Style.js/buggy/Source/Element/Element.Style.js