python 文件名拼接时间戳

import datetime
import re
import os
 
 
projectName='Mate 8'
filename="../"+projectName+"_PicsDetectedResults_" + re.sub(r'[^0-9]','',str(datetime.datetime.now())) + '.xml'

       img_name = str(round(time.time() * 1000))
       ll.to_file("./assets/PortraitPic/"+img_name+'.png')