echo readLine stdin