if(style == 'opacity') { if(value) return parseFloat(value); if(value = (element.getStyle('filter') || '').match(/alpha\(opacity=(.*)\)/)) if(value[1]) return parseFloat(value[1]) / 100; return 1.0; } 
  getStyle: function(element, style) {    element = $(element);    var inline = (style == 'float' ?      (typeof element.style.styleFloat != 'undefined' ? 'styleFloat' : 'cssFloat') : style);    var value = element.style[inline.camelize()];    if (!value) {      if (document.defaultView && document.defaultView.getComputedStyle) {        var css = document.defaultView.getComputedStyle(element, null);        value = css ? css.getPropertyValue(style) : null;      } else if (element.currentStyle) {        value = element.currentStyle[inline.camelize()];      }    }    if((value == 'auto') && ['width','height'].include(style) && (element.getStyle('display') != 'none'))      value = element['offset'+style.charAt(0).toUpperCase()+style.substring(1)] + 'px';    if (window.opera && ['left', 'top', 'right', 'bottom'].include(style))      if (Element.getStyle(element, 'position') == 'static') value = 'auto';    return value == 'auto' ? null : value;  },
856	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/856/53dfa93e53bccf5af1729cbdce88cb70e1ffcca5/prototype.js/clean/public/javascripts/prototype.js