while not stdin.endOfFile(): echo stdin.readLine