def hms_string(secs):
l = hms(secs)<EOL>def extend10(n):<EOL><INDENT>if n < <NUM_LIT:10>:<EOL><INDENT>return '<STR_LIT:0>' + str(n)<EOL><DEDENT>else:<EOL><INDENT>return str(n)<EOL><DEDENT><DEDENT>return extend10(l[<NUM_LIT:0>]) + '<STR_LIT::>' + extend10(l[<NUM_LIT:1>]) + '<STR_LIT::>' + extend10(l[<NUM_LIT:2>])<EOL>
return hours,minutes and seconds string, e.g. 02:00:45