function do_racegas_octane(A) {
  document.getElementById('racegas_octane').style.display = (A?'block':'none');
}