<!-- 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,'_blank');
        }

		function pause2(box) {
          val = box.options[box.selectedIndex].value;
          window.open (val,'_top');
        }
// end hide -->