if (this.lastValue != value) { 
var changed = ('string' == typeof this.lastValue && 'string' == typeof value ? this.lastValue != value : String(this.lastValue) != String(value)); if (changed) { 
  onTimerEvent: function() {    var value = this.getValue();    if (this.lastValue != value) {      this.callback(this.element, value);      this.lastValue = value;    }  }
708	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/708/53dfa93e53bccf5af1729cbdce88cb70e1ffcca5/prototype.js/buggy/public/javascripts/prototype.js