function connect_direct()
{
  var hostname = document.getElementById("hostname").value;
  var port = document.getElementById("port").value;
  connect(hostname, parseInt(port));
}