#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int main(){
	int h,m,s;
	ll n;
	cin>>n;
	n = n / 1000 %86400;//毫米转化为秒，并且保留最后一天天数
	h = n / 3600;
	n = n % 3600;
	m = n / 60; //分钟
	s = n % 60; //秒数
	printf("%02d:%02d:%02d",h,m,s);
	return 0; 
}