#include <stdio.h>

int h, m;

int main() {
	scanf("%d:%d", &h, &m);
	m += 5;
	h += m / 60;
	m %= 60;
	h %= 24;
	printf("%02d:%02d\n", h, m);
	return 0;
}