function goPlanet(x){
  window.location = http_server + x.options[x.selectedIndex].value;
}