while 0<1do
Printf.printf"%X
"(read_int())done