#include <iostream>
#include <string>

using namespace std;





int main() {

	int date, year, mm;
	char junk;
	string month[12] = { "Jan" ,"Feb", "Mar", "Apr", "May", "Jun",
	"Jul", "Aug", "Sep", "Oct", "Nov", "Dec"};

	cin >> mm >> junk >> date >> junk >> year;

	cout << date << " " << month[mm-1] << " " << year << endl;


    return 0;
}