极简代码

#include <iostream>

using namespace std;

int main()
{
	long long n;
	cin >> n;
	n /= 1000LL;
	n %= 24LL * 60 * 60;
	printf("%02lld:%02lld:%02lld\n",
		n / 3600LL, (n % 3600LL) / 60, n % 60);
	return 0;
}