#include <iostream>
using namespace std;

class Time
{
	int hrs, mins, secs;
public:
	Time()
	{	hrs=0; mins=0; secs=0;	}
	Time(int h, int m, int s)
	{	hrs=h; mins=m; secs=s;	}
	void Set(int h, int m, int s)
	{	hrs=h; mins=m; secs=s;	}
	void Write2() const
	{	cout << hrs << ':' << mins << ':' << secs;	}
	void Increment()
	{	secs ++;
		if(secs > 59)
		{	secs = 0;
			mins ++;
			if(mins > 59)
			{	mins = 0;
				hrs ++;
				if(hrs > 23)
					hrs = 0;
			}
		}
	}
	bool Equal(Time x) const
	{	return (hrs==x.hrs && mins==x.mins && secs==x.secs);	}
	bool GreaterThan( Time x ) const
	{	bool temp = false;
		if ( hrs > x.hrs ) temp = true;
		else if( hrs == x.hrs && mins > x.mins ) temp = true;
		return temp;
	}
	bool NotEqual ( Time x ) const
	{	return !Equal(x);	}
};

enum ZoneType {EST, CST, MST, PST, EDT, CDT, MDT, PDT};

class ExtTime : public Time
{
	ZoneType zone;
public:
	ExtTime()
	{	zone = EST;	}
	ExtTime(int h, int m, int s, ZoneType z) : Time(h, m, s)
	{	zone = z;	}
	void Set(int h, int m, int s, ZoneType z)
	{	Time :: Set(h, m, s);
		zone = z;
	}
	void Write() const
	{	Time :: Write2();
		string zString[] = {"EST", "CST", "MST", "PST", "EDT",
			"CDT", "MDT", "PDT" };
		cout << " " << zString[zone];
	}
};

int main()
{
	ExtTime now;
	Time newt;

	int h, m, s;
	char dummy, ch;
	string str;

	ZoneType z;

	cin >> h >> dummy >> m >> dummy >> s;
	cin.get(ch);
	if(ch == ' ')
	cin >> str;
	while(cin)
	{
		if(str == "EST") z = EST;
		else if(str == "CST") z = CST;
		else if(str == "MST") z = MST;
		else if(str == "PST") z = PST;
		else if(str == "EDT") z = EDT;
		else if(str == "CDT") z = CDT;
		else if(str == "MDT") z = MDT;
		else if(str == "PDT") z = PDT;
		else	
		now.Set(h, m, s, z);
		now.Increment();
		now.Increment();
		now.Write();

	
	
		newt.Set(h, m, s);
		newt.Increment();
		newt.Increment();
		cout << "\n";
	}	

		cin >> h >> dummy >> m >> dummy >> s;
	        cin.get(ch);
		if(ch == ' ')
		cin >> str;		
	

	return 0;
}