#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; //04分
			}
		  else if(63 == time2) //58分+5
			{
			  time2 = 3; //03分
			}
		  else if(62 == time2) //57分+5
			{
			  time2 = 2; //02分
			}
		  else if(61 == time2) //56分+5
			{
			  time2 = 1; //01分
			}
		  else if(60 == time2) //55分+5
			{
			  time2 = 0; //00分
			}
	  }
	else if(0 == time1)
	  {
		  time1 = 1;
		  if(64 == time2) //59分+5
			{
			  time2 = 4; //04分
			}
		  else if(63 == time2) //58分+5
			{
			  time2 = 3; //03分
			}
		  else if(62 == time2) //57分+5
			{
			  time2 = 2; //02分
			}
		  else if(61 == time2) //56分+5
			{
			  time2 = 1; //01分
			}
		  else if(60 == time2) //55分+5
			{
			  time2 = 0; //00分
			}
	  }
	else if(23 > time1 && time1 > 0 )
	  {
		  if(64 == time2) //59分+5
			{
			  time2 = 4; //04分
			  time1 = time1 + 1;
			}
		  else if(63 == time2) //58分+5
			{
			  time2 = 3; //03分
			  time1 = time1 + 1;
			}
		  else if(62 == time2) //57分+5
			{
			  time2 = 2; //02分
			  time1 = time1 + 1;
			}
		  else if(61 == time2) //56分+5
			{
			  time2 = 1; //01分
			  time1 = time1 + 1;
			}
		  else if(60 == time2) //55分+5
			{
			  time2 = 0; //00分
			  time1 = time1 + 1;
			}
	  }
 // printf("%02d:%02d\n",time1,time2);
	printf("%02d:%02d\n",time1,time2); //時刻の表示
	return 0;
}