访问Json数据的值，老是undefined _JavaScript

访问Json数据的值，总是undefined
本地json文件servertime.json，内容为：{"ts:":"2012-07-06 20:15:30:123"}
测试页面如下：

HTML code


<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>My Page</title>
<script type="text/javascript" src="JS/jquery-1.7.2.js"></script>

<script type="text/javascript">
$(function() {

        $.getJSON("servertime.json", function(data) {
                    var time = data.ts ;
                    alert(data.ts);
                    alert("time:"+time);
                
                }
        ); // end getJSON 
});
    
        
</script>

</head>
<body>
JQuery
    
</body>
</html>

但是总是提示
undefined
tim：undefined
而且我在Firefox里设置断点，function(data)中data确实得到到了
但是data.ts就是undefined
请问这是怎么回事啊？
谢谢啦~

------解决方案--------------------
源数据中键名就多了个冒号。{"ts:":"2012-07-06 20:15:30:123"}，不修改源数据的话，用alert(data[ts:])试试。