
<!-- hide
        function doit(box) {
          val = box.options[box.selectedIndex].value;
          window.open (val,'_top');
        }

        function pause(box) {
          val = box.options[box.selectedIndex].value;
          window.open (val,'_top');
        }

// end hide -->