//
//	How to read the time(with of without timezone information) value
//

#include <iostream>
using namespace std;

int main()
{
	int h, m, s;
	char dummy, ch;
	string str;

	// other objects declare here - you work!

	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;
}