#include <stdio.h>
int main()
{
int h,m,s;
scanf("%d:%d:%d", &h,&m,&s);
s=s+20;
if(s>59)
{
s=s%60;
m++;
if(m>59)
{
m=m%60;
h++;
if(h>23)
h=0;
}
}
printf("%02d:%02d:%02d\n", h, m, s);
return 0;
}