#include <stdio.h>

int main(void)
{
	int i, j;
	int h, m, s;
	char hms[8][8];
	int t, t3;
	
	while (scanf("%d %d %d", &h, &m, &s), h != -1 || m != -1 || s != -1){
		t = 7200;
		t -= (h * 3600) + (m * 60) + s;
		t3 = t * 3;
		h = t / 3600;
		t %= 3600;
		m = t / 60;
		t %= 60;
		s = t;
		for (i = 0; i < 3; i++){
			for (j = 0; j < 2; j++){
				if (i == 0){
					hms[i][j] = h / (10 - j * 9) + '0';
					h %= 10;
				}
				if (i == 1){
					hms[i][j] = m / (10 - j * 9) + '0';
					m %= 10;
				}
				if (i == 2){
					hms[i][j] = s / (10 - j * 9) + '0';
					s %= 10;
				}
			}
			hms[i][j] = '\0';
		}
		printf("%s:%s:%s\n", hms[0], hms[1], hms[2]);
		h = t3 / 3600;
		t3 %= 3600;
		m = t3 / 60;
		t3 %= 60;
		s = t3;
		for (i = 0; i < 3; i++){
			for (j = 0; j < 2; j++){
				if (i == 0){
					hms[i][j] = h / (10 - j * 9) + '0';
					h %= 10;
				}
				if (i == 1){
					hms[i][j] = m / (10 - j * 9 )+ '0';
					m %= 10;
				}
				if (i == 2){
					hms[i][j] = s / (10 - j * 9) + '0';
					s %= 10;
				}
			}
			hms[i][j] = '\0';
		}
		printf("%s:%s:%s\n", hms[0], hms[1], hms[2]);
	}
	
	return (0);
}