求助！！！python中如何把float转化Excel表格中的00!:00!:00!:00格式

Question

求助啊，怎么把表格里的012500转换为 00:01:25:00 

不需要输入到表格上，只要读取表格的时候转换就可以了！！！！

Answer 1

import re

n = 12500
s = re.sub(r'(\d\d)(?!$)',r'\1:',f'{n:0>8}')
print(s)