/*******************************************
 ** Reads in the date in mm/dd/yyyy format
 ** and converts to dd monthname, yyyy.
 *******************************************/
#include <iostream>
#include <string>
using namespace std;

int main()
{
  // Read day in mm/dd/yyyy format
  int m, d, y;
  char c;
  cin >> m >> c >> d >> c >> y;

  // Set N to the name of the month
  string N;
  switch(m)
  {
  case 1:
    N = "January";
    break;
  case 2:
    N = "February";
    break;
  case 3:
    N = "March";
    break;
  case 4:
    N = "April";
    break;
  case 5:
    N = "May";
    break;
  case 6:
    N = "June";
    break;
  case 7:
    N = "July";
    break;
  case 8:
    N = "August";
    break;
  case 9:
    N = "September";
    break;
  case 10:
    N = "October";
    break;
  case 11:
    N = "November";
    break;
  case 12:
    N = "December";
    break;
  default:
    N = "Invalid";
    break;
  }
  
  // Print date in dd month_name,  yyyy format
  cout << d << ' ' << N << ", " << y << endl;

  return 0;
}