repeats input until EOF