function rgbToHex(value){    var reg = /rgb\((\d{1,3}),\s*(\d{1,3}),\s*(\d{1,3})\)/i;    var m = reg.exec(value);    if (!m)        return value;    var r = parseInt(m[1]).toString(16);    if (r.length == 1)        r = "0" + r;    var g = parseInt(m[2]).toString(16);    if (g.length == 1)        g = "0" + g;    var b = parseInt(m[3]).toString(16);    if (b.length == 1)        b = "0" + b;    var preExpr = value.substr(0, m.index);    var postExpr = value.substr(m.index+m[0].length);        return preExpr + "#" + (r + g + b).toUpperCase() + postExpr;}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/css.js/buggy/extension/content/firebug/css.js