result.push(this.getStyle(s)); 
var style = this.getStyle(s); result.push(parseInt(style) ? style : '0px'); 
					Element.Styles[style].each(function(s){						result.push(this.getStyle(s));					}, this);
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/5ace28a8a220b3e4782de96dc19e8ea528c029aa/Element.js/buggy/Native/Element.js