#include <bits/stdc++.h>
char may[12][50] = {"January",   "February", "March",    "April",
                    "May",       "June",     "July",     "August",
                    "September", "October",  "November", "December"};
int bul(char *v) {
  for (int i = 0; i < 12; ++i) {
    if (strcmp(v, may[i]) == 0) return i;
  }
}
int main() {
  int n;
  char s[100];
  scanf(" %s %d", s, &n);
  n += bul(s);
  n %= 12;
  printf("%s\n", may[n]);
  return 0;
}
