#include<iostream>
#include<cstdio>
using namespace std;
int s[3], t[3], u[3], _time, vtime;

void printtime(int sec) {
	printf("%02d;%02d:%02d\n", sec / 3600, (sec / 60) % 60, sec % 60);
}

int main() {
	while (true) {
		cin >> s[0] >> s[1] >> s[2];
		if (s[0] == -1) { break; }
		_time = s[0] * 3600 + s[1] * 60 + s[2];
		vtime = 7200;
		printtime(vtime - _time);
		printtime(vtime * 3 - _time * 3);
	}
}