function number_format(str) {
    return str.toString().replace(/([0-9]+?)(?=(?:[0-9]{3})+$)/g , '$1,');
}

function date_format(str) {
    var created_at = str.split(' ');
    var date = created_at[1] + " "
             + created_at[2] + ", "
             + created_at[5] + " "
             + created_at[3];
    var dateObj = new Date(date);
    dateObj.setHours(dateObj.getHours() + 9);

    var YYYY = dateObj.getFullYear();
    var MM = dateObj.getMonth() + 1;
    var DD = dateObj.getDate();

    var HH = dateObj.getHours();
    var mm = dateObj.getMinutes();
    if (mm < 10) { mm = "0" + mm; }
    var ss = dateObj.getSeconds();

    return YYYY + '.' + MM + '.' + DD + ' ' + HH + ':' + mm ;

}