function go() {
   box = $('archiveselect');
   destination = box.options[box.selectedIndex].value;
   if (destination) location.href = destination;
}