/***************************************************
Date conversion program

Write a program that reads in a date in the form

  <month name> <day>, <year>

(for example, "January 12, 2001"), and prints out
the same date in the form

  <month>/<day/<last year digits>

(for example, "01/12/01").
***************************************************/
#include <iostream>
#include <string>
using namespace std;

int main()
{

  // Read date
  string s;
  int y, year, month, day;
  char c;
  cin >> s >> day >> c >> y;

  // compute year number
  year = y % 100;

  // compute month number
  if (s == "January")
    month = 1;
  else if (s == "February")
    month = 2;
  else if (s == "March")
    month = 3;
  else if (s == "April")
    month = 4;
  else if (s == "May")
    month = 5;
  else if (s == "June")
    month = 6;
  else if (s == "July")
    month = 7;
  else if (s == "August")
    month = 8;
  else if (s == "September")
    month = 9;
  else if (s == "October")
    month = 10;
  else if (s == "November")
    month = 11;
  else if (s == "December")
    month = 12;

  // print month
  if (month < 10)
    cout << "0";
  cout << month << "/";

  // print day
  if (day < 10)
    cout << "0";
  cout << day << "/";

  // print year
  if (year < 10)
    cout << "0";
  cout << year << endl;

 return 0;
}