I try it, and it is faster with regex. I agree with you we shouldn't take too much seriously the performance right now.