编写程序:输入以秒为单位的一个时间值,将其转化成“时: 分:秒”的形式输出。将转换工作定义成函数。