on the calendar what months have dec. in the name?
(AND time.month (JOIN (R time.calendar.months) (JOIN time.calendar.month_names m.028kb)))