Hello Anonymous Monk,

I had no clue about that, the only reason that I would use like this is to save some coding lines.

But if while (<>) is faster then the obvious solution would be this.

Thanks for providing this information.