编写程序实现：从键盘输入一个以秒为单位的时间值整数，将其转换成时、分、秒的形式输出。 输入格式: 输入代表总秒数的整数。 输出格式: 输出时、分、秒的整数值，以英文冒号分隔，最后换行。 输入样例: 20000 输出样例: 5:33:20

以下是实现该功能的 Python 代码：

seconds = int(input())
hours = seconds // 3600
minutes = (seconds % 3600) // 60
seconds = seconds % 60
print(str(hours) + ":" + str(minutes) + ":" + str(seconds))

输入一个整数表示总秒数，然后将其转换为时、分、秒的形式，最后输出结果。我们首先将总秒数除以 3600，得到小时数，然后将余数除以 60，得到分钟数，最后将余数即为秒数。最后将时、分、秒的整数值以英文冒号分隔，输出结果即可。