#include <iostream>
#include <cstdio>
using namespace std;
int main(){
	int hh,mm;
	scanf("%d:%d",&hh,&mm);
	mm+=5;
	if(mm>59){
		mm-=60;
		hh++;
		if(hh>23){
			hh-=24;
		}
	}
	printf("%02d:%02d\n",hh,mm);
return 0;
}