} 
}; 
Effect.Fade = function(element) {  element = $(element);  var oldOpacity = element.getInlineOpacity();  var options = Object.extend({  from: element.getOpacity() || 1.0,  to:   0.0,  afterFinishInternal: function(effect) {     if(effect.options.to!=0) return;    effect.element.hide().setStyle({opacity: oldOpacity});   }}, arguments[1] || {});  return new Effect.Opacity(element,options);}
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/0c67d2a1c175fa312f232b827bd1c26b95eac0e1/effects.js/buggy/wp-includes/js/scriptaculous/effects.js