#include <bits/stdc++.h>

using namespace std;

int main(int argc, char **argv) 
{
	int time1 = 0; //時
	int time2 = 0; //分

	scanf("%d:%d",&time1,&time2); //時間の入力
	time2 = time2 + 5; //XX分+5
	
	if(23 == time1)
	  {
		  time1 = 0;
		  if(64 == time2) //59分+5
			{
			  time2 = 4;
			}
		  else if(63 == time2) //58分+5
			{
			  time2 = 3;
			}
		  else if(62 == time2) //57分+5
			{
			  time2 = 2;
			}
		  else if(61 == time2) //56分+5
			{
			  time2 = 1;
			}
		  else if(60 == time2) //55分+5
			{
			  time2 = 1;
			}
	  }

	printf("%02d:%02d\n",time1,time2); //時刻の表示
	return 0;
}