#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define llong long long

int main() {
    int a, b;
    cin >> a >> b;
    string s;
    cin >> s;

    string utc = ""s;
    int utcval = 1;
    bool isdouble = false;
    rep(i, s.length()) {
        if(i < 3) continue;
        else if(i==3) {
            if(s[i] == '-') utcval = -1;
        } else if(s[i] == '.') {
            isdouble = true;
        } else {
            utc += s[i];
        }
    }
    utcval *= stoi(utc);
    int minutes = a * 60 + b;
    minutes += isdouble ? utcval * 6 : utcval * 60;
    minutes -= 9 * 60;
    minutes += 1440;
    minutes %= 1440;
    printf("%02d:%02d\n", minutes / 60, minutes % 60);
}