//
// How to read time value (with/out zone)
//

#include <iostream>
using namespace std;

int main()
{
	int h, m, s;
	char dummy, ch;
	string zone;
	
	// other object definition (Work here.)

	cin >> h >> dummy >> m >> dummy >> s;
	while(cin)
	{
		cin.get(ch);
	
		if (ch == ' ')
			cin >> zone;
	
	// debug
			cout << h << ":" << m << ":" << s; 

		if (ch == ' ')
			cout << " " << zone;
		cout << "\n\n";

        cin >> h >> dummy >> m >> dummy >> s;
	}

	return 0;
}