rem:  Event.observe(this.prev_month_button, 'click', (function () { this.nav_month(-1) }).bindAsEventListener(this)); 
add: Event.observe(this.prev_month_button, 'click', function () { this.nav_month(-1) }.bindAsEventListener(this)); 
context:   init_frame: function() {    that=this;    // create the divs    $w("header body time buttons footer").each(function(name) {      eval(name + "_div = that." + name + "_div = that.calendar_div.build('div', { className: '"+name+"' }, { clear: 'left'} ); ");    });        this.init_time_div();    this.init_buttons_div();    this.footer_div.update("&nbsp;");    // make the header buttons    this.prev_month_button = header_div.build("button", { innerHTML : "&lt;", type: "button"});    this.month_select = header_div.build("select");    this.year_select = header_div.build("select");    this.next_month_button = header_div.build("button", { innerHTML : "&gt;", type: "button"});        // make the month selector    for(x=0; x<12; x++)      this.month_select.options[x]=new Option(CalendarDateSelect.months[x],x);        Event.observe(this.prev_month_button, 'click', (function () { this.nav_month(-1) }).bindAsEventListener(this));    Event.observe(this.next_month_button, 'click', (function () { this.nav_month(1) }).bindAsEventListener(this));    Event.observe(this.month_select, 'change', (function () { this.set_month($F(this.month_select)) }).bindAsEventListener(this));    Event.observe(this.year_select, 'change', (function () { this.set_year($F(this.year_select)) }).bindAsEventListener(this));        this.refresh();  },
meta: 9859	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9859/55db3fb5583efe6bcd8f107506f5250874c9c394/calendar_date_select.js/buggy/public/javascripts/calendar_date_select.js