);
        }
        if ('test' in params) {
          test_list = params.test.split(',');
        } else {
          test_list = Keys(test_map);
        }
        function write_builder_table() {
          document.write('<table><tr>');
          for (var tindex=0; tindex < test_list.length; tindex++) {
            test = test_list[tindex];
            test_name = test_map[test];
            DisplayGraph(builder_id + '/' + test, 250, 400, false);
            DisplayGraph(builder_id + '/' + test, 250, 400, 