^8 "^" means "starts with".
^+7 "^" means "starts with", and "\+" means the character "+"
(the "\" is an "escape character", since in regular expressions,
"+" has a special meaning).
So, this says : If the clipboard starts with 8, chang it to start with +7 instead. Otherwise, if it does not start with +7,
prepend +7.