#include<stdio.h>
int main()
{
    long long int n;
    int ss,mm,hh;
    scanf("%lld",&n);
    n=n/1000;// 把毫秒变为秒
    ss=n%60;//计算秒数
    n=n/60;//把秒变为分
    mm=n%60;//计算分钟
    n=n/60;//把分钟改为小时
    hh=n%24;//计算小时
    printf("%02d:%02d:%02d",hh,mm,ss);
    return 0;
}