#include <iostream>
#include <cstdio>
using namespace std;
                                                                                                
  
int main(){


    int a, b, d, t, m;

    string s;


    
    cin >> a >> b >> s;


    d = s.size() - 2;

    if( s.at(d) == '.'){

        sscanf( s.c_str(),"UTC%d.%d", &t, &m );

        t = t - 9;

        m = ( 10 - m ) % 10;

        }

    else{

          sscanf( s.c_str(),"UTC%d", &t);
          
          t = t - 9;

          m = 0;

          }
    


    if( ( a + t ) % 24 < 0 ){

        if( 10 > ( b + m * 6 ) % 60 ) cout << ( 24 + ( a + t ) ) % 24 << ":" << "0" << ( b + m * 6 ) % 60 << endl;

        else cout << ( 24 + ( a + t ) ) % 24 << ":" << ( b + m * 6 ) % 60 << endl;        

        }

    else if( 10 > ( a + t ) % 24 ) cout << "0" << ( a + t ) % 24 << ":" << ( b + m * 6 ) % 60 << endl;

    else if( 10 > ( b + m * 6 ) % 60 ) cout << ( a + t ) % 24 << ":" << "0" << ( b + m * 6 ) % 60 << endl;

    else if( 10 > ( a + t ) % 24 && 10 > ( b + m * 6 ) % 60 ) cout << "0" << ( a + t ) % 24 << ":" << "0" << ( b + m * 6 ) % 60 << endl;


    else cout << ( a + t ) % 24 << ":" << ( b + m * 6 ) % 60 << endl;                       


    return 0;

}