I only knew because I wrote the code  for him in the first place, and it
was working when I sent it to him.
I didn't use replaceAll as it is case sensitive, whereas this (somewhat
clumsy) method is not..