echo "1 ",readLine stdin