#include <iostream>

using namespace std;

void rto(int rt){
    int ht,mt;
    for(ht=0;rt>=3600;++ht)rt-=3600;
        cout<<'0'<<ht<<':';
        for(mt=0;rt>=60;++mt)rt-=60;
        if(mt<10)cout<<'0'; cout<<mt<<':';
        if(rt<10)cout<<'0'; cout<<rt<<endl;
}
int main()
{
    int rt,trt,h,m,s;
    while(1)
    {
        cin>>h>>m>>s;if(h==-1&m==-1&s==-1)return 0;
        rt=7200-(h*3600+m*60+s);
        rto(rt);
        trt=3*rt;
        rto(trt);
    }
}