#include <iostream>
using namespace std;
using ll = long long;
int main()
{
	ll time;
	cin >> time;
	
	ll s = time/1000;
	ll day = s%(24*60*60);
	int h = day/3600;
	int m = day%3600/60;
	int ss = day%3600%60;
	printf("%02d:%02d:%02d",h,m,ss);
	return 0;
}