#include<cstdio>
using namespace std;
typedef long long ll;
int main(){
	ll h;
	scanf("%lld",&h);
	int hh,mm,ss;
	h = h % (24*60*60*1000);//得到一天之内的毫秒数
	hh = h/(60*60*1000)%24;//计算小时数
	mm = h/(60*1000)%60;//计算分钟数
	ss = h/(1000)%60;//计算秒数
	printf("%02d:%02d:%02d\n",hh,mm,ss);
	return 0;
}