//jas_menu js

unction jmp(form, elt)
          // The first parameter is a reference to the form.
          {
                  if (form != null) { // if valid form
                          with (form.elements[elt]) {
                                  if (0 <= selectedIndex) // if valid selection
                                          location = options[selectedIndex].value; // jump to that option's value
                          }
                  }
          }