//
//	How to read time(with or without zone) value from a file
//

#include <iostream>
using namespace std;

int main()
{
	int h, m, s;
	char dummy, ch;	//take off :
	string str;

	//other object definition

	cin >> h >> dummy >> m >> dummy >> s;
	while(cin)
	{
		cin.get(ch);
		if (ch == ' ')
			cin >> str;
	
		//debug	
		cout << h << ":" << m <<  ":" << s;
		if (ch == ' ')
			cout << " " << str;
		cout << "\n\n";
		cin >> h >> dummy >> m >> dummy >> s;
	}
	return 0;
}