 if (!col) return col; 
function convertRGBToHex(col) {	var re = new RegExp("rgb\\s*\\(\\s*([0-9]+).*,\\s*([0-9]+).*,\\s*([0-9]+).*\\)", "gi");	var rgb = col.replace(re, "$1,$2,$3").split(',');	if (rgb.length == 3) {		r = parseInt(rgb[0]).toString(16);		g = parseInt(rgb[1]).toString(16);		b = parseInt(rgb[2]).toString(16);		r = r.length == 1 ? '0' + r : r;		g = g.length == 1 ? '0' + g : g;		b = b.length == 1 ? '0' + b : b;		return "#" + r + g + b;	}	return col;}
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/dbda3aabaa1fc3c68cb19ba910d1f9b3462d7eff/color_picker.js/buggy/wp-includes/js/tinymce/themes/advanced/jscripts/color_picker.js