values.each(function(value){ size += element.getStyle('border-' + value + '-width').toInt() + element.getStyle('padding-' + value).toInt(); }); 
value = $splat(value).map(function(val, i){ if (!map[i]) return ''; return ($type(val) == 'number') ? map[i].replace('@', Math.round(val)) : val; }).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/85e22ddf09a0c4f9bbdf7fe7a12f9c00279ad997/Element.Style.js/clean/Source/Element/Element.Style.js