将datetime格式化为以毫秒为单位的字符串。

I want to have a datetime string from the date with milliseconds. This code is typical for me and I'm eager to learn how to shorten it. string from the date