function menuselect(){var number = document.dropdown1.choices.selectedIndex;
location.href = document.dropdown1.choices.options[ number ].value;}