#include <fstream>
#include <iostream>
#include <algorithm>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <string>
#include <sstream>
#include <map>
#include <set>
#include <vector>
#include <stack>
#include <cmath>
#include <queue>
#include <random>

using namespace std;

#define INT_MAX_VALUE 2147483647
#define LONG_LONG_MAX_VALUE 9223372036854775807
#define ll long long
#define ld long double

struct XX{
    ll la;
    ll lb;
    ll ra;
    ll rb;
    ll q;
};

class xxGreater {
public:
    bool operator()(const XX& riLeft, const XX& riRight) const {
        //第2条件
        if((riLeft.q) == (riRight.q)){
            return riLeft.q < riRight.q;//<:昇順(小さいものから順番)、>:降順(大きいものから順番)
            //プライオリティキューの場合は > で、top()すると値の小さいものがとれる
        }
        //第1条件
        return (riLeft.q) < (riRight.q);
    }
};


//map<long long,long long> prime_f(long long n){
//    map<long long,long long>res;
//    for(int i=2;i*i<=n;i++){
//        while(n%i==0){
//            ++res[i];
//            n/=i;
//        }
//    }
//    if(n!=1)res[n]=1;
//    return res;
//}


int n;
//int dat[2*10000000];
//int dat2[2*10000000];
int dat[2*100];
int dat2[2*100];

void init(int n_){
    n=1;
    while(n<n_)n*=2;
    for(int i=0;i<2*n-1;i++){
        dat[i]=0;
        dat2[i]=0;
    }
}

void initset(int k,int a){
    k+=n-1;
    dat[k]=a;
    while(k>0){
        k=(k-1)/2;
        dat[k]=dat[k*2+1]+dat[k*2+2];
    }
}

//[a,b)の間を[l,r]区間で比較しアップデート
//引数のindexに注意
//nは固定。initで計算すみ
//update2(L[i],R[i]+1,0,0,n,D[i]);
void update2(int a,int b,int k,int l,int r,int v){//v更新値、区間は0-index
    if(r<=a || b<=l)return;
    if(a<=l && r<=b){
        dat[k]+=dat2[k];
        if(r-l>1){
            dat2[k*2+1]+=dat2[k]/2;
            dat2[k*2+1]+=dat2[k]/2;
        }
        dat2[k]=v*(r-l);
        return;
    }else{
        update2(a,b,k*2+1,l,(l+r)/2,v);
        update2(a,b,k*2+2,(l+r)/2,r,v);
        return;
    }
}

int query(int a,int b,int k,int l,int r){
    if(r<=a || b<=l)return 0;
    if(a<=l && r<=b){
        dat[k]+=dat2[k];
        if(r-l>1){
            dat2[k*2+1]+=dat2[k]/2;
            dat2[k*2+1]+=dat2[k]/2;
        }
        dat2[k]=0;
        return dat[k];
    }
    else{
        int vl=query(a,b,k*2+1,l,(l+r)/2);
        int vr=query(a,b,k*2+2,(l+r)/2,r);
        return vl+vr;
    }
}


int main(int argc, const char * argv[])
{
    //scanf("%s",S);
    //scanf("%d",&N);
    //scanf("%lld %lld",&target1,&target2);
    //sscanf(tmp.c_str(),"%dd%d%d",&time[i], &dice[i], &z[i]);
    //getline(cin, target);
    //ifstream ifs( "1_06.txt" );//テスト用
    //ifs >> a;
    //ここから
    
    //入力高速化
    ios::sync_with_stdio(false);
    cin.tie(0);
    
    int a;
    int b;
    string s;
    cin >> a >> b >> s;
    int up=0;
    int h;
    int m;
    
    if(s.substr(3,1)=="+"){
        up=1;
    }
    int f=0;
    string tmph="";
    for(int i=4;i<s.size();i++){
        if(s.substr(i,1)=="."){
            f=1;
            continue;
        }
        if(f==0){
            tmph+=s.substr(i,1);
        }else{
            m=*s.substr(i,1).c_str()-'0';
            m=6*m;
        }
    }
    if(tmph.size()==2){
        h=(*tmph.substr(0,1).c_str()-'0')*10;
        h+=*tmph.substr(1,1).c_str()-'0';
    }else{
        h=*tmph.c_str()-'0';
    }
    
    if(up==1){
        h=h-9;
        if(h<0){
            up=0;
            h*=-1;
            if(m>0){
                h--;
                m=60-m;
            }
        }
    }else{
        h=h+9;
    }
    
    
    int ansh;
    int ansm;
    if(up==1){
        ansm=b+m;
        if(ansm>=60){
            ansm-=60;
            ansh=a+h+1;
        }else{
            ansh=a+h;
        }
        if(ansh>23){
            ansh-=24;
        }
        if(ansh>23){
            ansh-=24;
        }
    }else{
        ansm=b-m;
        if(ansm<0){
            ansm+=60;
            ansh=a-h-1;
        }else{
            ansh=a-h;
        }
        if(ansh<0){
            ansh+=24;
        }
        if(ansh<0){
            ansh+=24;
        }
    }
    
    if(ansh<10){
        cout << 0;
    }
    cout << ansh << ":";
    if(ansm<10){
        cout << 0;
    }
    cout << ansm << endl;
    //ここまで
    //cout << "ans" << endl;改行含む
    //printf("%.0f\n",ans);//小数点以下表示なし
    //printf("%.7f\n",p);
    
    return 0;
}