def date_time(timestr):
    'from str return timestr + msec'
    (t_a, t_b) = timestr.split('.')
    return (time.strptime(t_a, '%Y/%b/%d %H:%M:%S'), float(('0.' + t_b)))
from str return timestr + msec
def date_time(timestr):
    
    (t_a, t_b) = timestr.split('.')
    return (time.strptime(t_a, '%Y/%b/%d %H:%M:%S'), float(('0.' + t_b)))