function local_input() {
        document.getElementById("in").style.backgroundColor = "#FFFFFF";
        var x = document.getElementById("in");
        x.onkeydown = function(e) {
            if (!e) e = window.event;
            if (e.keyCode == 115) {
                submit_text();
                no_input();
                return false;
            }
          return true;
        }
        x.onkeypress = function() { return true; }
        x.onkeyup = function() { return true; }
    }