function jumpTo( menu ) { 
          where = menu.options[ menu.selectedIndex ].value; 
          if ( where != "" ) 
              window.location = where; 
      }
      function jumpTopMenu( menu ) { 
          where = menu.options[ menu.selectedIndex ].value; 
          if ( where != "" ) 
              parent.location = where; 
      }