get the value of 'EOF'