eof in function