#include <iostream>
using namespace std;

#include "time.h"
#include "exttime.h"

int main()
{
	ExtTime now;
	Time newt;

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

	ZoneType z;

	cin >> h >> dummy >> m >> dummy >> s >> str;
	
	while(cin)
        {
                if(ch = ' ') 
		{
                       cin >> str;
                
                        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
                {
                        newt.Set(h, m, s);
                        newt.Increment();  
                        newt.Increment();  
                        newt.Write();
                        cout << "\n";
                       
                }
			now.Set(h, m, s, z);
                        now.Increment();
                        now.Increment();
                        now.Write();
                        cout << "\n";
                
 		}        
                        cin >> h >> dummy >> m >> dummy >> s >> str;
                     
			
	}

	
	return 0;
}