Eew. I would ask that Khaled consider associating random nick coloring to $ial().id which is a unique value associated to that user/connection for as long as mIRC sees them in at least one channel. If their address changes via `CAP chghost` their $ial().id remains the same. And only changes if the user /quits or /parts all channels in common with you.
Well. At least I won lunch.
Good philosophy, see good in bad, I like!