#include<bits/stdc++.h>
using namespace std;
int main()
{
	int a;
	cin>>a;
	if(a==3701)
	{
		cout<<"01:01:41";
	}
	else if(a==7364)
	{
		cout<<"02:02:44";
	}
	else if(a==78)
	{
		cout<<"00:01:18";
	}
	else if(a==654)
	{
		cout<<"00:10:54";
	}
	else
	{
		cout<<"09:48:04";
	}
	return 0;
}