How to print millis in [hh:mm:ss] format?

The 1307 library comes with examples, have you checked them?