Fast way to grab line from file?

[Moshe Zadka]

On Tue, 22 Feb 2000 chiefteo69 at my-deja.com wrote:

> Hi there,
> Does anyone know of a faster way to grab line
> 100 from a given file without doing 100 readline()
> calls? This way is too slow, but I can't find out
> how to do this in python. Thanks,

And how exactly would Python know where the 100 lines begin without
the preceding 99 .readline()'s?