TIME_FORMAT(time,format)
这用起来就像DATE_FORMAT()函数，但格式字符串格式说明包含只有几个小时，分钟和秒。
如果时间值包含小时的部分，其可大于23，在%H 和 %k小时格式说明符产生的值范围通常大于0..23。另小时格式说明符产生小时值为模12。
mysql> SELECT TIME_FORMAT('100:00:00', '%H %k %h %I %l');
+---------------------------------------------------------+
| TIME_FORMAT('100:00:00', '%H %k %h %I %l') |
+---------------------------------------------------------+
| 100 100 04 04 4 |
+---------------------------------------------------------+
1 row in set (0.00 sec)
