#include <stdio.h>
#include <string.h>



int main(){
	
	
	char t[5];
	char* a;
	char * b;
	int c,d;
	scanf("%s",t);
	a=strtok(t,":");
	b=strtok(NULL," ");
	c=atoi(a);
	d=atoi(b);
	d+=5;
	if(d>=60){
		
		c++;
		d=d-60;
		
	}
	if(c>23){
		
		c=0;
		
		
		
	}
	
	printf("%02d:%02d\n",c,d);
	
	
	
	
	return 0;
}