#include "bits/stdc++.h"

using namespace std;
typedef long long int ll;
typedef pair<ll, ll > pi;  
typedef pair<pair<ll, ll >, ll > pii;  
vector<ll > vec;
vector<ll > vec2;
ll MOD = 1000000007;
ll INF = 1145141919454519;

int main() {

    ll a, b;
    cin >> a >> b;
    ll minute = a * 60 + b;
    //cout << minute << endl;

    string s;
    cin >> s;

    double t = stod(s.substr(3,s.length()-3));
    ll sabun = (t - 9) * 60;

    minute += sabun;
    //cout << minute << endl;
    if(minute <= 0){
        minute += 24 * 60;
    }
    if(minute >= 24 * 60){
        minute -= 24 * 60;
    }   

    cout << setw(2) << setfill('0') << minute / 60 << ":" ;
    cout << setw(2) << setfill('0') << minute % 60 << endl;


}