#include <stdio.h>

int main() {

  int month, day, year;

  printf("Enter date mm/dd/yy: ");
  scanf("%d/%d/%d", &month, &day, &year);

  switch (month){
    case 1  : printf("January ");   break;
    case 2  : printf("February ");  break;
    case 3  : printf("March ");     break;
    case 4  : printf("April ");     break;
    case 5  : printf("May ");       break;
    case 6  : printf("June ");      break;
    case 7  : printf("July ");      break;
    case 8  : printf("August ");    break;
    case 9  : printf("September "); break;
    case 10 : printf("October ");   break;
    case 11 : printf("November ");  break;
    case 12 : printf("December ");  break;
  }

  if ( year > 50 ) {
    printf("%d, %s%02d\n", day, "19", year);
  }
  else {
    printf("%d, %s%02d\n", day, "20", year);
  }

  return 0;
}