function setFocus()
{
document.getElementById("state").focus();
}
function go() 
{
window.location=document.getElementById("menu").value;
}
////////////////////////////End