enterHover: function() { if (this.saving) return; this.element.style.backgroundColor = this.options.highlightcolor; if (this.effect) { this.effect.cancel(); } Element.addClassName(this.element, this.options.hoverClassName) 
enterHover: function(e) { if (this.options.hoverClassName) this.element.addClassName(this.options.hoverClassName); if (this._saving) return; this.triggerCallback('onEnterHover'); 
  enterHover: function() {    if (this.saving) return;    this.element.style.backgroundColor = this.options.highlightcolor;    if (this.effect) {      this.effect.cancel();    }    Element.addClassName(this.element, this.options.hoverClassName)  },
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/0c67d2a1c175fa312f232b827bd1c26b95eac0e1/controls.js/clean/wp-includes/js/scriptaculous/controls.js