// JavaScript Document

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