function quick_link() {
  f = document.quick_link_form;
  if(f.quick_url.value == -1) {
    return false;
  } else {
    location.href=f.quick_url.value;
  }
}