// JavaScript Document


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