#include <iostream>
#include <stdio.h>
using namespace std;
int main(int argc, char* argv[])
{
	int a;
	cin>>a;
	int hour=(int)(a/100.0);
	int m=(a-hour*100)*60/100;
	printf("%d:%02d\n",hour+10,m);
	return 0;
}