values.each(function(value){ size += element.getStyle('border-' + value + '-width').toInt() + element.getStyle('padding-' + value).toInt(); }); 
return result.split('rgb').splice(1,4).map(function(color){ return color.rgbToHex(); }).join(' '); 
		values.each(function(value){			size += element.getStyle('border-' + value + '-width').toInt() + element.getStyle('padding-' + value).toInt();		});
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/d17db76a4a26a292049fef215dbe9a55f2e52a0e/Element.js/buggy/Native/Element.js