#include <iostream>

using namespace std;

int main(int argc, char **argv)
{
	int a, b, c, tmp, tmp2;
	
	while(1){
		cin >> a >> b >> c;
		if(a == -1 && b == -1 && c == -1){
			break;
		}
		
		tmp = a*3600 + b*60 + c;
		for(int i = 0; i < 2; i++, tmp /= 3){
			tmp2 = 7200 - tmp;
			a = (int)(tmp2 / 3600);
			tmp2 -= a * 3600;
			b = (int)(tmp2 / 60);
			c = tmp2 - b * 60;
		
			cout << "0" << a;
			if(b < 10){
				cout << ":0" << b;
			} else {
				cout << ":" << b;
			}
			if(c < 10){
				cout << ":0" << c << endl;
			} else {
				cout << ":" << c << endl;
			}
		}
	}
	
	return 0;
}