function quicknavigate(box) {
  var url;
  if ((box) && (box.selectedIndex) && (box.options[box.selectedIndex])) {
    url = box.options[box.selectedIndex].value
    if ((url != "") && (document.location)) location = url;
  }
}