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