(loop(princ(or(position(read-char)"0987654321")"
")))