//时间戳转换成指定格式的日期
DateTool.IntDatetimeTo = function(time, format)
{
    var testDate = new Date(time);
    var o =
    {
        "M+" : testDate.getMonth()+1,
        "d+" : testDate.getDate(),
        "h+" : testDate.getHours(),
        "m+" : testDate.getMinutes(),
        "s+" : testDate.getSeconds(),
        "q+" : Math.floor((testDate.getMonth()+3)/3),
        "S" : testDate.getMilliseconds()
    }
    if(/(y+)/.test(format))
    {
        format = format.replace(RegExp.$1, (testDate.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;
}