将由0～9构成的最长长度为20的数字字符串s作为秒，换算成HH:mm:ss样式的字符串，
其中mm和ss均以双位显示，即3:4应表示为03:04。

类名：Timer

方法名: public String format(String s)

输入数据的约束条件:s最长长度为20，且不为空串。