在python中将表示HH:MM:SS.sss格式的字符串转换为HH:MM:SS.sss格式

我有一个用HH:MM:SS.sss格式表示时间的字符串，现在我必须把这个字符串转换成HH:MM:SS.ssss格式。请告诉我怎么做？

你能不能在末尾加上“000”

---

所以“13:23:12.345”=>“13:23:12.345000”

如果我的答案不合适，请澄清这个问题。准确地说，Jon的意思是：

strTime=strTime+“000”