This simply deletes the literal string `/["del"]/` if it's present in the input. `string.delete('del')` will do what you want