import datetime import re _strf = "%Y%m%d%H%M%S%f" _reabs = re.compile("^\d{20}$") _rerel = re.compile("^(?P