#include<stdio.h>
#include<stdlib.h>
#include<iostream>
#include<string>
#include<string.h>
#include<vector>
#include<math.h>
#include<queue>
#include <algorithm>
#include<functional>
#include<cstdlib>
#include<cmath>


#define REP(i, n) for(int i = 0;i < n;i++)
#define REPR(i, n) for(int i = n;i >= 0;i--)
#define FOR(i, m, n) for(int i = m;i < n;i++)
#define FORR(i, m, n) for(int i = m;i >= n;i--)
#define CI cin >>
#define CO cout <<
#define E << endl;

using namespace std;

typedef pair<int, int> P;
typedef pair<long, long> LP;
typedef pair<int, P> PP;
typedef pair<long, LP> LPP;



int dy[] = { 0, 0, 1, -1, 0 };
int dx[] = { 1, -1, 0, 0, 0 };


int H = 0;
int M = 0;
int S = 0;

void input(void) {
	CI H >> M >> S;

	return;
}


int main(void) {
	int sum = 0;
	int remain = 0;
	int remain3 = 0;
	int hour = 0;
	int minute = 0;
	int second = 0;

	while (1) {
		input();
		if (H == -1) {
			return 0;
		}
		sum = H * 3600 + M * 60 + S;
		remain = 2 * 3600 - sum;
		remain3 = remain * 3;
		second = remain % 60;
		remain -= remain % 60;
		remain /= 60;
		minute = remain % 60;
		remain -= remain % 60;
		remain /= 60;
		hour = remain;
		printf("0%d:", hour);
		if (minute < 10) {
			printf("0%d:", minute);
		}
		else {
			printf("%d:", minute);
		}
		if (second < 10) {
			printf("0%d", second);
		}
		else {
			printf("%d", second);
		}
		CO "\n";

		second = remain3 % 60;
		remain3 -= remain3 % 60;
		remain3 /= 60;
		minute = remain3 % 60;
		remain3 -= remain3 % 60;
		remain3 /= 60;
		hour = remain3;
		printf("0%d:", hour);
		if (minute < 10) {
			printf("0%d:", minute);
		}
		else {
			printf("%d:", minute);
		}
		if (second < 10) {
			printf("0%d", second);
		}
		else {
			printf("%d", second);
		}
		CO "\n";
	}

	return 0;
}