Added function eof-object