He should really use awk instead of cut.
or killall
and for awesomeness, he should use zsh.
bash is what you use for mediocrity.
That said, there are better ways still to solve this problem. Some of them were detailed above. One that wasn't was the fact that GNU ps has lots of filtering options itself, in this case:
ps -eo pid -U 1002
Does the work of the grep and cut from the original for you.You don't want charaters this to that, what you do want is column 2.