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