echo:stdin.readLine