从后台接收的时间数据，转换成Json后变成了"/Date(1350144054950+0800)/"
这个可以转回正确的时间格式吗？

------解决方案--------------------
function Dateformatter(value)
{
try
{
var date = eval(value.replace(/\/Date\((\d+\+0800)\)\//gi, "new Date($1)"));
return date.format("yyyy-MM-dd hh:mm:ss");
} catch (e)
{
return value;
}
}