#include <iostream>
#include <string>
#include <vector>
#include <cstdio>
using namespace std;
int main(){
    int T,H,S,t3,h3,s3,sum,t,h,s;
    for(;;){
        cin>>T>>H>>S;
        if(T==-1&&H==-1&&S==-1)break;
        sum=7200-(T*3600+H*60+S);
        t=sum/3600;
        s=sum%60;
        h=(sum-(t*3600)-s)/60;
        t3=t*3;
        h3=h*3;
        s3=s*3;
        printf("%02d:%02d:%02d",T,H,S);
        cout<<endl;
        printf("%02d:%02d:%02d",t,h,s);
        cout<<endl;
    }
    return 0;
}