function LinksHandler() {location = document.DestinationLinks.DestinationsMenu.options[document.DestinationLinks.DestinationsMenu.selectedIndex].value;}		