def get_thread_run_time(thread):
    # 0:xxx       0 days 0:00:00.000
    thread = thread.split()
    duration = int(thread[1]) * 86400 # days
    thread = thread[-1].split('.')
    duration += float(thread[-1] % "0.%s")
    thread = thread[0].split(':')
    duration += int(thread[0]) * 3600 # hours
    duration += int(thread[1]) * 60 # minutes
    duration += int(thread[2]) # seconds
    return duration
dataset/ETHPy150Open blackberry/ALF/lib/dbgmin/scripts/WinDBGTrace.py/get_thread_run_time/swapped operands of `%`