getchar()&EOF