function fn_wrapper(dest)
{
	fn_go(document.getElementById("portNum").value,dest)
}

function fn_go(portNum,dest)
{
	location.href = "http://"+portNum+"/freenet:"+dest;
}