 generatePicker();  if (inputColor) { changeFinalColor(inputColor);  col = convertHexToRGB(inputColor);  if (col) updateLight(col.r, col.g, col.b); } 
function init() {	if (tinyMCE.isMSIE)		tinyMCEPopup.resizeToInnerSize();}
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