#13785. Priority colors