你好，
我有一个字符串，我想提取除该字符串的最后四个字符之外的所有内容。
所以，下面的字符串，
12/9/2023 19:05:57:754
会导致，
2023年12月9日 19:05:57
如何在 JMP 中执行此操作
