function doBug()
   {
   var i = document.bug.bug_select.selectedIndex;
   var s = 'bugs/' + document.bug.bug_select.options[i].value + '.html';
   bug_display.location = s;
   }