function details_form(){
 mySelect = document.form.details.selectedIndex;
  window.open(document.form.details.options[mySelect].value);
}