#include <stdio.h>

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