context:   set_month: function(month) {    prev_day = this.date.getDate();    // do it twice to force the month if the date is out of range    this.date.setMonth(month);    this.date.setMonth(month);        if (this.date.getDate()!=prev_day ) this.date.setDate(28);        this.refresh();  },
meta: 9859	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9859/853304d8af942d925ddae7c91db1960fe7b81f0b/calendar_date_select.js/clean/public/javascripts/calendar_date_select.js