#include <stdio.h>
int main(void){	
	int hour, min;
	char a;
	scanf("%d%c%d", &hour, &a, &min);
	min += 5;
	if(min > 59){
		min %= 60;
		hour += 1;
	}
	hour %= 24;
	if(hour < 10){
		printf("0");
	}
	printf("%d:", hour);
	if(min < 10){
		printf("0");
	}
	printf("%d\n", min);
	return 0;
}