#include <iostream>
using namespace std;
        
#include "time.h"   
#include "exttime.h"
         
int main()      
{
        ExtTime now(8, 0, 0, EST);  
        
        int h, m, s;
        char dummy, ch;
        string str;
                
        ZoneType z;
                
        cin >> h >> dummy >> m >> dummy >> s; 
//      cin.get(ch);
        if(ch = ' ')
         cin >> str;

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