/********************************************************
This program simply reads in a date in mm/dd/yyyy format
and prints it back in dd monthname yyyy format.  Since
I want to hardcode the month names into the program,
a static array is the natural way to go.
*********************************************************/
#include <iostream>
#include <string>

int main()
{
  // Create an array containing the month names
  string Month[12] = {"January", "February", "March", "April",
		      "May", "June", "July", "August", "September",
		      "October", "November", "December"};

  // Read date
  int m, d, y;
  char c;
  cin >> m >> c >> d >> c >> y;

  // Write date
  cout << d << ' ' << Month[m - 1] << ' ' << y << endl;

  return 0;
}