human
How to convert efficiently a dataframe column of string type into datetime in Python?
assistant
Here is some code to convert a dataframe `df`'s column `ID` into datetime, after removing the first and last 3 letters

pd.to_datetime(df.ID.str[1:-3])

#Warning: this code generation is experimental. Please inspect the code for any bugs before executing.