sql server 字符串格式化

假设stime=095230
如何将这个字段转化为：09:52:30
在access中，可以使用format函数，在oracle中，可以使用to_char函数，在sql server中用的是什么呢？ 在acces