NOV
{"nov", NOV, false},
{"november", NOV, false},
case JUL: case AUG: case SEP: case OCT: case NOV: case DEC:
