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

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

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

import re

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