intent: How to convert efficiently a dataframe column of string type into datetime in Python?
rewritten_intent: convert a dataframe `df`'s column `ID` into datetime, after removing the first and last 3 letters
snippet: pd.to_datetime(df.ID.str[1:-3])