function go() 
{
window.location=document.getElementById("jump").value;
}