the magics of eof()