function openURL()
{ 

// grab index number of the selected option
selInd = document.nav.menu.selectedIndex; 

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

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

}