#include <iostream>
#include <cstdio>
using namespace std;

typedef long long LL;
LL t;
int hour,mint,sec;

int main(){
	
	cin>>t;
	t /= 1000;
	LL oneday = 60*60*24;
	t %= oneday;
	hour = t/(60*60);
	mint = (t/60)%(60);
	sec = (t-60*60*hour-60*mint);
	printf("%02d:%02d:%02d",hour,mint,sec) ;
	
	
	
	
	return 0;
}