let reg_q3color = Str.regexp "\\^[0-9]"