How to convert seconds to hh:mm:ss format?

[convert]

Hi guys,

I'v got this problem: How to convert seconds into hh:mm:ss format?

for example: I have 3601 seconds in integer, I want to convert it into 01:00:01
string format.

can anyone show me a function to get this done?

thanks.