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"));