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