("WebSocket" in window)){
              $('#status').append('<p><span style="color: red;">websockets are not supported </span></p>');
              $("#navigation").hide();
          } else {
              // $('#status').append('<p><span style="color: green;">websockets are supported </span></p>');
              connect();
          };
          $("#search").hide();
          $("#content").hide();
          $("#send_txt").keyup(function(event){
              if(event.keyCode == 13){
                  // En