[Solved] Can someone explain what this python code does?

It converts the number of microseconds since time code 00:00:00,000 into hours:minutes:seconds,milliseconds. The milliseconds are truncated, not rounded.