I have a file.
It is standard with <email>,<tag>
There are over a million lines in the file like that.
If I have a random value, say 124535,
How can I get the 124535th line in the file without reading the whole thing into memory?
I can call local commands, but the execution order must be in PHP.