my $month_num = index('JanFebMarAprMayJunJulAugSepOctNovDec',
                      $month_str)/3;