function ajax_error(event, http, ajaxOptions, thrownError) {
    show_error("サーバーへのリクエストに失敗しました。\n時間を置いてお試しください。");
}

window.onerror = function(mes,file,num){
    show_error([
        "file    : " + file,
        "line    : " + num,
        "message : " + mes
    ].join("\n"));
    return true;
}

function show_error(message) {
    if (typeof console != 'undefined') {
        console.error(message);
        return;
    }
    var errordiv = document.getElementById("error_message");
    if (!errordiv) {
        errordiv = document.createElement("div");
        errordiv.id = "error_message";
        document.body.appendChild(errordiv);
    }
    errordiv.innerHTML += message + "<br>";
}

function console_log(message) {
    if (typeof console != 'undefined') {
        console.log(message);
        return;
    }
    var infodiv = document.getElementById("info_message");
    if (!infodiv) {
        infodiv = document.createElement("div");
        infodiv.id = "info_message";
        document.body.appendChild(infodiv);
    }
    infodiv.innerHTML += message + "<br>";
}