#include<bits/stdc++.h>
using namespace std;
using ll = long long;

template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }

#define FOR(i,a,b) for(ll i=(a);i<(b);++i)
#define ALL(v) (v).begin(), (v).end()
#define p(s) cout<<(s)<<endl
#define p2(s, t) cout << (s) << " " << (t) << endl
#define br() p("")
#define pn(s) cout << (#s) << " " << (s) << endl
#define p_yes() p("Yes")
#define p_no() p("No")

const ll mod = 1e9 + 7;
const ll inf = 1e18;

void vprint(vector<ll> A){
    ll L = A.size();
    FOR(i, 0, L){
        if(i) cout << ' ';
        cout << A[i];
    }
    cout << endl;
}

int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);

    // input
    ll a, b; cin >> a >> b;
    string s; cin >> s;

    double d = stod(s.substr(3));
    // pn(d);
    d -= 9;
    d += 24;
    d += 0.001; // 誤差

    ll minutes = 60 * d;
    // pn(minutes);

    a += minutes / 60;
    b += minutes % 60;
    if(b>=60){
        b -= 60;
        a += 1;
    }
    a %= 24;

    printf("%02d:%02d\n", a, b);
    
    return 0;
}