Converting ss to HH:MM:SS in XPath 1.0

How can I convert seconds to HH:MM:SS in XPath 1.0?

For example:

source:

<values>
    <value>80</value>
<values>

output of query should be 00:01:20