converting a time string to seconds in python,"time.strptime('00:00:00,000'.split(',')[0], '%H:%M:%S')"