#include <iostream>
using namespace std;

int main()
{
	int a,b,c;
	scanf("%d:%d",&a,&b);
	c=(a*60+b+5)%(24*60);
	printf("%02d:%02d\n",c/60,c%60);
	
	fflush (stdin);
	getchar();
	return 0;

}