          xhttp.onreadystatechange = function() {
              if (this.readyState == 4 && this.status == 200) {
		  document.getElementById("demo").innerHTML =
		      this.responseText;
              }
          };
          xhttp.open("GET", "/modify", true);
          xhttp.send();
      }

      function searchTable(inputId, tableId) {
	  var input, filter, found, table, tr, td, i, j;
	  input = document.getElementById(inputId);
	  filter = input.value.toUpperCase();
	  table = document.getElementById