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

void uint2str(char str[], size_t len, double num) {
    snprintf(str, len, "%1.f", num);
}

void main(void){

	char t[100] = "a" ;
	char str[100] = "a";
	scanf("%s",t);
	strncpy(str, t, 2);
	str[2] = '\0';
	int time = atoi(str)*60;
	strncpy(str, t+3, 2);
	str[2] = '\0';
	time += atoi(str)+5;
	printf("%02d:%02d\n", time / 60 % 24, time % 60);
}