HsqlDB 1.8日期函数

我正在使用HSQLDB1.8，由于某些原因无法升级到2.0。现在我需要插入一个包含

时间戳

字段的记录，但我找不到任何函数将字符串转换为

时间戳

使用1.8可能很简单，但如何使用1.8？

强制转换（字符串值作为时间戳）

例如：

CAST ('2012-09-20 21:30:15.786' AS TIMESTAMP)

---

谢谢它起作用了。但我怎么能给出毫秒，比如“2012-09-2021:30:15:786”？编辑了毫秒的答案。