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