context: function colorToRgbString(col) {    if (col[3] < 1) {        return "rgba("            + Math.floor(col[0]*255) + ","            + Math.floor(col[1]*255) + ","            + Math.floor(col[2]*255) + ","            + col[3]            + ")";    }    return "rgb("        + Math.floor(col[0]*255) + ","        + Math.floor(col[1]*255) + ","        + Math.floor(col[2]*255) + ")";}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9421/9a8aace4c0cde04af6e6ee2395f4dad3ec1c4338/graph.js/buggy/webtools/new-graph/js/graph.js