var every = result.every(function(val){ return val.toString() == result[0].toString(); }); 
values.each(function(value){ size += element.getStyle('border-' + value + '-width').toInt() + element.getStyle('padding-' + value).toInt(); }); 
				var every = result.every(function(val){					return val.toString() == result[0].toString();				});
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/83dc1e025efaf0b5cada0190a0720e7d87f94595/Element.js/buggy/Native/Element.js