题目描述：小蓝要和朋友合作开发一个时间显示的网站。在服务器上，朋友已经获取了当前的时间，用一个整数表示，值为从 19701970 年 11 月 11 日 00:00:0000:00:00 到当前时刻经过的毫秒数。现在，小蓝要在客户端显示出这个时间。小蓝不用显示出年月日，只需要显示出时分秒即可，毫秒也不用显示，直接舍去即可。给定一个用整数表示的时间，请将这个时间对应的时分秒输出。输入描述 输入一行包含一个整数，表示时间。输出描述 输出时分秒表示的当前时间，格式形如 HH:MM:SS，其中 HH 表示时，值为 00 到 2323，MM 表示分，值为 00 到 5959，SS 表示秒，值为 00 到 5959。时、分、秒 不足两位时补前导 00。

测试样例

输入 46800999

输出 13:00:00

输入 1618708103123

输出 01:08:23

//AC代码：
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;

int main(){
    ll n;cin>>n;
    n/=1000;
    n%=(24*60*60);
    cout.fill('0');//用‘0’去填补空白
    //fill函数在设置后将一直有效，除非被重新设定
    cout<<setw(2)<<n/3600<<":"<<setw(2)<<n/60%60<<":"<<setw(2)<<n%60<<'\n';
    //在C++中，setw(int n)用来控制输出间隔
    //setw()只对其后面紧跟的输出产生作用
    //若输入的内容超过setw()设置的长度，则按实际长度输出
    return 0;
}