change() {
                    var getmode = document.getElementById("mode");
                    var mode = getmode.options[getmode.selectedIndex].label;
                    var mode_code = getmode.options[getmode.selectedIndex].value;
                    var IDE = ace.edit("IDE");
                    var code = IDE.getValue();
                    var url = "http://" + location.host + "/function/" + mode_code;
                    console.log(url);
                    termclear()
                    $.ajax(