#include<stdio.h>

int main(void)
{
	int t,m,s,n,i,T=0,M=0,S=0,n3,sum,N;
	while(1){
	scanf("%d",&t);
	scanf("%d",&m);
	scanf("%d",&s);
	if(t == -1 &&m == -1 &&s == -1) break;
	sum = 3600*t + 60*m + s;
	N = 7200 - sum;
	
	for(i=0;i<2;i++){
	if( N>=3600 ){
		T = N / 3600;
		N = N % 3600;
	}
	if( N>=60 && N<3600 ){
		M = N / 60;
		N = N % 60;
	}
	S = N;
	if(T<10){
		printf("0%d",T);
	}
	else{
		printf("%d",T);
	}
	if(M<10){
		printf(":0%d",M);
	}
	else{
		printf(":%d",M);
	}
	if(S<10){
		printf(":0%d",S);
	}
	else{
		printf(":%d",S);
	}
	printf("\n");
	N = 7200 - sum;
	N = N *3;
	}
	}
	return 0;
}