#include <string>
#include <strstream>
#include <iostream>
using namespace std;

main()
{
	istrstream instr("January 23, 1955");/* not stringstream */
		/* also use a C string not a string argument */
	string month;
	int day;
	string comma;
	int year;

	instr >> month >> day >> comma >> year;

	cout << month << ":" << day <<":"<< comma <<":" << year<< endl;

	return 0;

}