er_list.length == 0) {
          builder = builder_list[0];
          builder_id = builder_map[builder];
          write_header(builder, '&builder=' + escape(builder));
          write_builder_table()
        } else if (test_list.length == 1) {
          test = test_list[0];
          test_name = test_map[test];
          write_header(test_name, '&test=' + escape(test));
          write_test_table()
        } else {
          write_header('', '');
          write_overview_table();
        }
      </script>
