#include <iostream>
using namespace std;
void prin(const int time){
	int hour=time/3600; int min=(time-3600*hour)/60; int sec=time%60;
	char h[2],m[2],s[2];
	h[0]='0'+hour/10; h[1]='0'+hour%10;
	m[0]='0'+min/10; m[1]='0'+min%10;
	s[0]='0'+sec/10; s[1]='0'+sec%10;
	cout<<h[0]<<h[1]<<':'<<m[0]<<m[1]<<':'<<s[0]<<s[1]<<'\n';
}
int main(){
	while(1){
	int hour,min,sec,time;
	cin >> hour >> min >> sec ;
	if(hour==-1 && min==-1 && sec==-1) break;
	time=3600*hour+60*min+sec;
	time=7200-time;
	prin(time);
	prin(time*3);
	};
}