#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() {

    string a, b;
    cin >> a >> b;
    double minute = stoi(a) * 60 + stoi(b);
    //cout << minute << endl;

    string s;
    cin >> s;

    double t = stod(s.substr(3,s.length()-3));
    double sabun = (t - 9.0) * 60.0;

    minute += sabun;
    //cout << minute << endl;
    if(minute <= 0){
        minute += 24.0 * 60.0;
    }
    if(minute >= 24.0 * 60.0){
        minute -= 24.0 * 60.0;
    }   
    cout << minute << endl;
    cout << setw(2) << setfill('0') << (ll)minute / 60.0 << ":" ;
    cout << setw(2) << setfill('0') << (ll)minute % 60 << endl;


}