redo if eof;