One other advantage to using $addtok, in this case, is if you happen to have the same name more than once in the file, with your original code, that person would be messaged multiple times (once for each time their nick was in the variable), with mine, they only get messaged once, since $addtok won't add a token that already exists.
