<SCRIPT LANGUAGE="JavaScript">
<!--
function menu(list) 
{ 
location.href = list.options[list.selectedIndex].value
}
// -->
<!-- end index_1.js -->