[];
            }
          }
          if (row.length > 0) {
            write_row(row);
          }
          document.write('</table>');
        }
        function write_builders_header_row() {
          document.write('<tr><th>&nbsp;</th>');
          for (var bindex=0; bindex < builder_list.length; bindex++) {
            builder = builder_list[bindex];
            url = MakeURL({'builder':escape(builder)});
            var s ='<th align="center" colspan="' +
                   graphs_list.length +
   