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