#include <stdio.h>
#include<string.h>
int main(void)
{
char s[6];
int i;
int x;
int d;
char h[3],m[3];

gets(s);

h[0]=s[0];
h[1]=s[1];
m[0]=s[3];
m[1]=s[4];
x=atoi(h);
d=atoi(m);
d+=5;
if(d>=60){
	x++;
	d=d-60;
	
	
}
if(x>23){
	
	x=0;
	
	
	
}
printf("%02d:%02d\n",x,d);
	return 0;
}