#include <iostream>
#include <iomanip>
#include <vector>
#include <string>
#include <stack>
#include <queue>
#include <deque>
#include <set>
#include <map>
#include <algorithm>
#include <sstream>
#include <cstdlib>
#include <cstring>
#include <functional>
#include <numeric>
#include <cmath>
#include <climits>
#include <limits>
#include <cfloat>
#include <fstream>
using namespace std;
string itos (int n){
	
	string res = "";

	if (n < 10){
		res += '0';
		res += n + '0';
		return res;
	} // end if
	
	stringstream ss;
	ss << n;

	return ss.str();
}

int main()
{
//	cut here before submit 
//	freopen("testcase.vt", "r", stdin);
	string str = "";
	while (getline (cin, str ) ){
		int hour, minute, second;

		stringstream sst(str);
		sst >> hour >> minute >> second;

		if (hour == -1 && minute == -1 && second == -1 ){
			break;
		} // end if

		int t = 60*60*hour + 60*minute + second;
		int rts = 2*60*60;
		int rtt = 3*rts;
		rts -= t;
		rtt -= t;
		rtt = (int)((double)rtt/3. + 0.5);
		string sh = "",sm = "",ss = "";
		sh = itos(rts/3600 % 24); sm = itos(rts/60 % 60); ss = itos(rts % 60);
		string th = "",tm = "", ts = "";
		th = itos(rtt/3600 % 24); tm = itos(rtt/60 % 60); ts = itos(rtt % 60);

		cout << sh << ':' << sm << ':' << ss << endl;
		cout << th << ':' << tm << ':' << ts << endl;
	} // end loop

	return 0;
}