function hidebox(box){
var box = document.getElementById(box);
if (box.style.display == "none") {
box.style.display = "block";
} else {
box.style.display = "none";
}
}

function go()
{
	box = document.forms[0].navi;
	destination = box.options[box.selectedIndex].value;
	if (destination) location.href = destination;
}