var graph_title = 'Rcov: code coverage';
        var graph_series = [{name: 'rcov', data: [87.1]}];
        var graph_labels = {"0":"1/3"};