#include <iostream>
#include <string>
#include <vector>
using namespace std;

int main() {
    int h, m, s;
    while (cin >> h >> m >> s && (0 <= h)) {
        int second = 7200 - (h * 3600 + m * 60 + s);
        int hh = second / 3600;
        int mm = (second % 3600) / 60;
        int ss = second % 60;
        cout << hh << ":" << mm << ":" << ss << endl;
    }
    return 0;
}