json中string类型的datetime格式转换为datetime类型：例string类型"/Date(1242357713797+0800)/" 转为datetime类型"yyyy-MM-dd"

var string_json_date="/Date(1242357713797+0800)/";

//Date属性扩展：
Date.prototype.format=function(format)
{
var o = {

"M+": this.getMonth() + 1, //month

"d+": this.getDate(), //day

"h+": this.getHours(), //hour

"m+": this.getMinutes(), //minute

"s+": this.getSeconds(), //second

"q+": Math.floor((this.getMonth() + 3) / 3), //quarter

"S": this.getMilliseconds() //millisecond

}

if (/(y+)/.test(format)) format = format.replace(RegExp.$1,

(this.getFullYear() + "").substr(4 - RegExp.$1.length));

for (var k in o) if (new RegExp("(" + k + ")").test(format))

format = format.replace(RegExp.$1,

RegExp.$1.length == 1 ? o[k] :

("00" + o[k]).substr(("" + o[k]).length));

return format;

}
var startIndex=string_json_date.indexOf("(")+1;
var endIndex=string_json_date.indexOf(")");
var Date_date=new Date(parseInt(string_json_date.substring(startIndex,endIndex)));
alert(Date_date.format("yyyy-MM-dd"));