请问，我在js里怎么转换这样的数据？
时间：Sun May 25 11:37:13 UTC+0800 2008
需要转换为：11:37:13  
我该怎么弄呢？请各位大虾帮忙。。。。谢谢！
<script language="JavaScript">
'+arrTmp[1]+'

在上面怎么体现呢？（arrTmp[1]里的结果是Sun May 25 11:37:13 UTC+0800 2008）

arrTmp[1].match(/\d{1,2}:\d{1,2}:\d{1,2}/)[0]