function doMenuJump(theMenu)
{	
	if (theMenu.selectedIndex)
		window.location = theMenu.options[theMenu.selectedIndex].value;
}