echo 1, ' ', stdin.readline