What is the int value of EOF ?