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