#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;
}
}
}