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

int main(){
	char hs[3], ms[3];
	int h, m;
	
    hs[0] = getchar();
    hs[1] = getchar();
    hs[2] = '\0';
    getchar();
    ms[0] = getchar();
    ms[1] = getchar();
    ms[2] = '\0';
    
	h = atoi(hs);
	m = atoi(ms);
	
	printf("%02d:%02d\n", h, m);
	m += 5;
	h += m / 60;
	m %= 60;
	h %= 24;
	
	printf("%02d:%02d\n", h, m);
	
	return 0;
}