Soy nuevo en JMP y estoy tratando de procesar por lotes muchos archivos .csv. Mi primer contratiempo ocurre cuando trato de extraer información de fecha y hora de la primera columna. Mi tabla de datos se ve así

Como puede ver en la imagen, cada fila de marcas de tiempo tiene un "-0800" no deseado pegado al final. ¿Cómo me desharía de esto para cada entrada? La sintaxis jsl que utilicé se parece a
: loggingTime = Substr (: loggingTime, 1, 23)
Sin embargo, cuando ejecuto esto, termino con una columna vacía. Por último, sé que para finalmente formatear la cadena en un objeto de fecha y hora, necesitaré el comando "informat", pero mi pregunta es: ¿puedo seleccionar un formato que registre milisegundos y que no se detenga en segundos? Sé que esto es algo simple, pero como dije, soy nuevo en JSL y cualquier ayuda sería muy apreciada.