// Flip the panels on the parametric search between the name search and the flight search
function flipDivs(nameSearchInputPanel, flightSearchInputPanel, flightSearchRadioButton) {
   var flightSearchRadio = document.getElementById(flightSearchRadioButton);
   if (!flightSearchRadio)
      return;
   if (flightSearchRadio.checked) {
      document.getElementById(nameSearchInputPanel).style.display = 'none';
      document.getElementById(flightSearchInputPanel).style.display = '';
   }
   else {
      document.getElementById(nameSearchInputPanel).style.display = '';
      document.getElementById(flightSearchInputPanel).style.display = 'none';
   }
}