#include <iostream>
#include <stdio.h>
using namespace std;
int main(int argc, char* argv[])
{
	int h,m;
	scanf("%d:%d",&h,&m);
	m+=5;
	if (m>=60){
		h++;
		m-=60;
	}
	if (h>=24){
		h-=24;
	}
	printf("%02d:%02d",h,m);
	return 0;
}