function openURL()
{ 
// grab index number of the selected option
selInd = document.menu.location.selectedIndex; 

// get value of the selected option
goURL = document.menu.location.options[selInd].value;

// redirect browser to the grabbed value (hopefully a URL)
top.location.href = goURL; 
}