#include <bits/stdc++.h>
using namespace std;

int main( int argc, char *argv[] )
{
int hh;
int mm;
char C;

	cin >> hh;
	cin >> C;
	cin >> mm;

	mm += 5;
	if( mm >= 60 )
	{
		mm -= 60;
		hh++;
	}

	if( hh >= 24 ) hh -= 24;

	printf( "%02d:%02d\n", hh, mm );

	return 0;
}