#include <bits/stdc++.h>
#define rep(i,l,n) for(int i=l;i<n;i++)
#define rer(i,l,n) for(int i=l;i<=n;i++)
#define all(a) a.begin(),a.end()
#define o(a) cout<<a<<endl
#define fi first
#define se second
using namespace std;
typedef long long ll;
typedef vector<int> vint;
typedef pair<int,int> pii;

int main(){
	int h,m,s,t;
	while(1){
		cin>>h>>m>>s;
		if(h==-1&&m==-1&&s==-1) break;
		t=7200-(h*3600+m*60+s);
		int f=0;
		while(1){
			h=t/3600; m=(t%3600)/60; s=(t%3600)%60;
			printf("%02d:%02d:%02d\n",h,m,s);
			f++; if(f==2) break;
			t*=3;
		}
	}
}