如何在时间日期格式化后保留毫秒

如图，直接获取时间可以得到毫秒，但是如果要记录进txt必须要格式化时间，格式化后毫秒就没了，请问该怎么解决这个问题？