#include<iostream>
#include<string.h>
using namespace std;
int main()
{
    int a,b;
    char c;
    char time[20][6]={"23:32","00:00","01:10","02:20",
                       "03:30","04:40","05:50","10:01"
                       ,"11:11","12:21","13:31","14:41"
                       ,"15:51","20:02","21:12","22:22"
                       ,"23:32","00:00"};
    while(cin>>a>>c>>b)
    {
        char t[5];int w=0;
        t[0]=char((a/10)+'0');
        t[1]=char((a%10)+'0');
        t[2]=':';
        t[3]=char((b/10)+'0');
        t[4]=char((b%10)+'0');
        for(int i=1;i<17;i++)
        {
            if(strncmp(t,time[i],5)>=0)
                w=i;
            else break;
        }
        int c,d,e,f;
        if(strncmp(t,time[w],5)==0)
        {
            c=(int(time[w-1][0]-'0'))*10+int(time[w-1][1]-'0');
            d=(int(time[w-1][3]-'0'))*10+int(time[w-1][4]-'0');
            e=(int(time[w+1][0]-'0'))*10+int(time[w+1][1]-'0');
            f=(int(time[w+1][3]-'0'))*10+int(time[w+1][4]-'0');
            cout<<c<<':'<<d<<endl<<e<<':'<<f<<endl;
        }
        else
        {
            c=(int(time[w][0]-'0'))*10+int(time[w][1]-'0');
            d=(int(time[w][3]-'0'))*10+int(time[w][4]-'0');
            e=(int(time[w+1][0]-'0'))*10+int(time[w+1][1]-'0');
            f=(int(time[w+1][3]-'0'))*10+int(time[w+1][4]-'0');
            cout<<c<<':'<<d<<endl<<e<<':'<<f<<endl;
        }
    }
}