在MySQL中字符串转成时间，29-NOV-12 20:40:25.2 这样的格式如何转？

在MySQL中字符串转成时间，‘29-NOV-12 20:40:25.2’ 这样的格式如何转？用什么函数？

http://www.2cto.com/database/201308/236375.html

SELECT STR_TO_DATE('29-NOV-12 20:40:25.2','%d-%M-%y %H:%i:%s')