   <!--
     function Menu(links) {
        location.href = links[links.selectedIndex].value;
     }
   //-->